A Formal Background to Mathematics 2a - nidottu, Englanti, 1980