SMS: Ciencias formales y ciencias fácticas