SMS: Las ciencias formales