Zaslat SMS: La lógica en la matemática: racionalización de la ciencia exacta