A Formal Background to Mathematics