Repositorios 3

Logicism 3 Logicismo 3 Filosofia da matemática 2 Filosofía de las matemáticas 2 Philosophy of mathematics 2 Axiomatic method 1 Bernays, Paul, 1888-1977 1 Finitism 1 Finitismo 1 Formalism 1 Formalismo 1 Hilbert, David, 1862-1943 1 Historia de la matemática 1 History of mathematics 1 História da matemática 1 Logic 1 Lógica 1 Lógica de segunda ordem 1 Lógica de segundo orden 1 Modelos 1 Models 1 Método axiomático 1 Second-order logic 1