Title: A Formal Background to Mathematics 2a