EntityQ1052005· pop 7· linked from 18 articlesFrege's theoremSign in to savemetatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principleConnectionslogicismEntityarithmeticEntityInternational Standard Book NumberEntityWayback MachineEntityGottlob FregeEntityOCLC, Inc.Entitypropositional calculusEntityphilosophy of mathematicsEntitytruth tableEntityRussell's paradoxEntitymaterial implicationEntityStanford Encyclopedia of PhilosophyEntitytautologyEntityPeano axiomsEntitymetalogicEntitymetamathematicsEntityconsequentEntitycurryingEntityBegriffsschriftEntityaxiom schema of specificationEntityCategoriesMetatheoremsTheorems in propositional logicTheorems in the foundations of mathematics