Email Record: Logic of mathematics :