RA1.3. Peano Axioms and Induction

RA1.3. Peano Axioms and Induction

begin-post-stats

MathDoctorBob • 13K views

end-post-stats begin-duration 14:38 end-duration
Math topics:
_Integers_##Integers##_0_(number)_##0 (number)##_1_(number)_##1 (number)##_Natural_number_##Natural number##_Set_theory_##Set theory##_Empty_set_##Empty set##_Index_set_##Index set##_Subset_##Subset##_Element_(mathematics)_##Element (mathematics)##_Mathematical_terminology_##Mathematical terminology##_Theorem_##Theorem##_Axiom_##Axiom##_Definition_##Definition##_Proof_theory_##Proof theory##_Mathematical_induction_##Mathematical induction##_Consistency_##Consistency##_Proof_by_contradiction_##Proof by contradiction##_Binary_operations_##Binary operations##_Union_(set_theory)_##Union (set theory)##_Complement_(set_theory)_##Complement (set theory)##_Binary_operation_##Binary operation##_Logical_consequence_##Logical consequence##_Multiplication_##Multiplication##_Theoretical_computer_science_##Theoretical computer science##_Formal_language_##Formal language##_Computability_theory_##Computability theory##_Set_theory_##Set theory##_Successor_function_##Successor function##_Functions_and_mappings_##Functions and mappings##_Injective_function_##Injective function##_Function_(mathematics)_##Function (mathematics)##_Primitive_recursive_function_##Primitive recursive function##_Bijection_##Bijection##_Comparison_(mathematical)_##Comparison (mathematical)##_Logical_equivalence_##Logical equivalence##_Greatest_element_##Greatest element##_Well-ordering_principle_##Well-ordering principle
Other topics:
_Epistemology_##Epistemology##_Argument_##Argument##_Mathematical_proof_##Mathematical proof##_Inductive_reasoning_##Inductive reasoning
video-id: 0hTipItVdYY channel_MathDoctorBob_