SMS versenden: Introductory formal logic of mathematics