Email Record: Foundations of mathematics