What is Peano Arithmetic?
Carneades.org • 5K views
Math topics:
Other topics:
Mathematical logicSecond-order logicPeano axiomsSuccessor ordinalSuccessor functionLogicAxiomStatement (logic)Mathematical proofEquivalence (mathematics)Property (philosophy)Equality (mathematics)Equals signLogic symbolsModus ponensExistential quantificationUniversal quantificationFormal sciencesMathematicsLogicWell-formed formulaAbstractionIdentity (philosophy)Set (mathematics)ConceptNumber