Title: Formal Background to Mathematics Vol. 1, Pt. A & B