Frege's theorem
metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle
Press Enter · cited answer in seconds
0 sources
Frege's theorem
Summary
Frege's theorem is a theorem[1]. It draws 27 Wikipedia views per month (theorem category, ranking #261 of 1,306).[2]
Key Facts
- Frege's theorem's instance of is recorded as theorem[3].
- Gottlob Frege is named after Frege's theorem[4].
- Frege's theorem's Freebase ID is recorded as /m/0ck6vp[5].
- Frege's theorem's Stanford Encyclopedia of Philosophy ID is recorded as frege-theorem[6].
- Frege's theorem's maintained by WikiProject is recorded as WikiProject Mathematics[7].
- Frege's theorem's Microsoft Academic ID is recorded as 2779904397[8].
Why It Matters
Frege's theorem draws 27 Wikipedia views per month (theorem category, ranking #261 of 1,306).[2] It has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.[9]