SMS versenden: First Order Mathematical Logic