SMS versenden: Introduction to the foundations of mathematics