Email Record: Introduction to the foundations of mathematics /