Email Record: Introduction to mathematical philosophy