Home›Metatheorems›Frege's theorem🌐EnglishEnglishDeutschEspañolFrançaisPortuguêsTürkçe한국어日本語EntityQ1052005· pop 7· linked from 18 articlesFrege's theoremmetatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principleAvailable in 7 languagesEspañolFrançaisDeutsch日本語Português한국어via Wikidata sitelinks · CC0ConnectionslogicismEntityarithmeticEntityCategoriesMetatheoremsTheorems in propositional logicTheorems in the foundations of mathematics