SMS versenden: Principles of mathematical logic