SMS dit: Fundations of mathematics