Concept
Logicisme
Concepts associés (21)
Théorème de Frege
En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume. Il a d'abord été prouvé, de manière informelle, par Gottlob Frege dans son Die Grundlagen der Arithmetik (Les Fondements de l'arithmétique), publié en 1884, et prouvé plus formellement dans ses Grundgesetze der Arithmetik (Lois fondamentales de l'arithmétique), publiées en deux volumes, en 1893 et 1903.