Email Record: The foundations of mathematics /