SMS versenden: Ciencias formales y ciencias fácticas