SMS versenden: Elements of mathematical logic