SMS dit: The logical and set-theoretical foundations of mathematics /