SMS dit: Introduction to mathematical philosophy /