SMS dit: Problemas de fundamentos matemáticos