Metadata
Author: WikiMatrix
Data
French[fr]
Frege, en particulier, a cherché à démontrer (voir Gottlob Frege, Les fondements de l'arithmétique, 1884 et Logicisme en Philosophie des mathématiques) que les vérités arithmétiques peuvent être obtenues à partir d'axiomes purement logiques et sont donc, au final, des vérités logiques.
Portuguese[pt]
Frege em particular procurou demonstrar (ver Gottlob Frege, Os Fundamentos da Aritmética de 1884, e logicismo na filosofia da matemática) que as verdades matemáticas podem ser derivadas de axiomas puramente lógicos e, portanto, são, no final, verdades lógicas.