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
metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle