Frege's theorem
Sign in to savemetatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle
Wikidata facts
- Instance of
- theorem
- Named after
- Gottlob Frege
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0