SMS versenden: Set theory and model theory