Email Record: The foundations of mathematics in the theory of sets