SMS dit: Ciencias formales y ciencias fácticas