Email Record: Fundamentals of mathematics from an advanced viewpoint /