Title: A Formal Background to Mathematics: Volume 2, Parts A and B