SMS dit: Fundamentos de matemáticas y lógica