SMS versenden: Introduction to metamathematics