Email Record: Language, truth, and logic in mathematics /