SMS: Problemas de fundamentos matemáticos