Stav dette: La lógica en la matemática: racionalización de la ciencia exacta