The Kuratowski Construction of Ordered Pairs
The cartesian product of two sets needs to brought across from naive set theory into ZF set theory. The Kuratowski construction allows this to be done without needing to define any new atomic structures. Instead the cartesian product can be constructed/defined using the structures and axioms that we have already defined in ZF set theory.
▶︎
Relations and Functions
▶︎
Zermelo-Fraenkel Set Theory
▶︎
Camillo De Lellis: Surely you're joking, Mr. Nash?
▶︎
The Natural Numbers
▶︎
Russell's Paradox - a simple explanation of a profound problem
▶︎
The Wallis product for pi, proved geometrically
▶︎
Zermelo Fraenkel Choice
▶︎
Zorn's Lemma Demystified
▶︎
Russell's Paradox - A Ripple in the Foundations of Mathematics
▶︎
When Math Isn’t Based in Reality
▶︎
Zermelo Fraenkel Extensionality
▶︎
The FULL VIDEO of Trump they didn’t want released
▶︎
DO YOU REALLY KNOW WHAT ORDERED PAIRS ARE? (Logic Series Continues)
▶︎
Zermelo Fraenkel Foundation
▶︎
The subtle definition of the ordered pair (x,y).
▶︎
The Peano Arithmetic
▶︎
Train Your Brain to Never Forget (5 Feynman Habits)
▶︎
How the Axiom of Choice Gives Sizeless Sets | Infinite Series
▶︎
Cardinality of the Continuum
▶︎