SMS dit: Philosophy of mathematics