SMS versenden: The elements of mathematical logic