PLT: Type Theory 1 - ZFC set theory (part 1)

PLT: Type Theory 1 - ZFC set theory (part 1)

begin-post-stats

Rehno Lindeque • 11K views

end-post-stats begin-duration 14:24 end-duration
Math topics:
_Axioms_of_set_theory_##Axioms of set theory##_Axiom_of_choice_##Axiom of choice##_Axiom_of_extensionality_##Axiom of extensionality##_Axiom_of_regularity_##Axiom of regularity##_Set_theory_##Set theory##_Empty_set_##Empty set##_Disjoint_union_##Disjoint union##_Element_(mathematics)_##Element (mathematics)##_Russell's_paradox_##Russell's paradox##_Existential_quantification_##Existential quantification##_Elementary_arithmetic_##Elementary arithmetic##_Parity_(mathematics)_##Parity (mathematics)##_Inequality_(mathematics)_##Inequality (mathematics)##_Multiplication_##Multiplication
Other topics:
_Formal_systems_##Formal systems##_Axiom_##Axiom##_Axiom_schema_##Axiom schema##_Type_theory_##Type theory##_Formal_sciences_##Formal sciences##_Mathematics_##Mathematics##_Theory_##Theory##_Set_(mathematics)_##Set (mathematics)
video-id: xalFtiY-JoQ channel_Rehno_Lindeque_