SMS dit: Las ciencias formales