Frege's theorem

metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle

Pronunciation

Categories