Author: A Formal Background to Mathematics 2a