What is Peano Arithmetic?

What is Peano Arithmetic?

begin-post-stats

Carneades.org • 5K views

end-post-stats begin-duration 45:15 end-duration
Math topics:
_Integers_##Integers##_0_(number)_##0 (number)##_1_(number)_##1 (number)##_Natural_number_##Natural number##_Elementary_arithmetic_##Elementary arithmetic##_Addition_##Addition##_Multiplication_##Multiplication##_Plus_and_minus_signs_##Plus and minus signs##_Recursion_##Recursion##_Mathematical_induction_##Mathematical induction##_Recursion_##Recursion##_Primitive_recursive_function_##Primitive recursive function##_Logical_connectives_##Logical connectives##_If_and_only_if_##If and only if##_Logical_disjunction_##Logical disjunction##_Material_conditional_##Material conditional
Other topics:
_Mathematical_logic_##Mathematical logic##_Second-order_logic_##Second-order logic##_Peano_axioms_##Peano axioms##_Successor_ordinal_##Successor ordinal##_Successor_function_##Successor function##_Logic_##Logic##_Axiom_##Axiom##_Statement_(logic)_##Statement (logic)##_Mathematical_proof_##Mathematical proof##_Equivalence_(mathematics)_##Equivalence (mathematics)##_Property_(philosophy)_##Property (philosophy)##_Equality_(mathematics)_##Equality (mathematics)##_Equals_sign_##Equals sign##_Logic_symbols_##Logic symbols##_Modus_ponens_##Modus ponens##_Existential_quantification_##Existential quantification##_Universal_quantification_##Universal quantification##_Formal_sciences_##Formal sciences##_Mathematics_##Mathematics##_Logic_##Logic##_Well-formed_formula_##Well-formed formula##_Abstraction_##Abstraction##_Identity_(philosophy)_##Identity (philosophy)##_Set_(mathematics)_##Set (mathematics)##_Concept_##Concept##_Number_##Number
video-id: hBaU5qJt8Cc channel_Carneades.org_