1.11.11 Set Theory Axioms: Video [Optional]

1.11.11 Set Theory Axioms: Video [Optional]

begin-post-stats

MIT OpenCourseWare • 3K views

end-post-stats begin-duration 9:20 end-duration
Math topics:
_Set_theory_##Set theory##_First-order_logic_##First-order logic##_Predicate_(mathematical_logic)_##Predicate (mathematical logic)##_Subset_##Subset##_Russell's_paradox_##Russell's paradox##_Element_(mathematics)_##Element (mathematics)##_Wellfoundedness_##Wellfoundedness##_Well-founded_relation_##Well-founded relation##_Axiom_of_regularity_##Axiom of regularity##_Well-ordering_principle_##Well-ordering principle##_Algebra_##Algebra##_Logical_consequence_##Logical consequence##_Integer_##Integer##_Basis_(linear_algebra)_##Basis (linear algebra)##_Power_set_##Power set##_Integers_##Integers##_Singleton_(mathematics)_##Singleton (mathematics)##_Natural_number_##Natural number##_1_(number)_##1 (number)
Other topics:
_Logic_##Logic##_Analogy_##Analogy##_Axiom_##Axiom##_Set_(mathematics)_##Set (mathematics)##_Formal_languages_##Formal languages##_Formal_language_##Formal language##_Well-formed_formula_##Well-formed formula##_String_(computer_science)_##String (computer science)##_Philosophy_of_logic_##Philosophy of logic##_Satisfiability_##Satisfiability##_Definition_##Definition##_Proposition_##Proposition
video-id: zcvsyL7GtH4 channel_MIT_OpenCourseWare_