Ordered Pair/Kuratowski Formalization/Warning

From ProofWiki
Jump to navigation Jump to search

Warning

The weakness of the Kuratowski formalization of the ordered pair shows up when $a = b$:

\(\ds \tuple {a, a}\) \(=\) \(\ds \set {\set a, \set {a, a} }\) Definition of Kuratowski Formalization of Ordered Pair
\(\ds \) \(=\) \(\ds \set {\set a, \set a}\) Definition of Uniqueness of Set Elements
\(\ds \) \(=\) \(\ds \set {\set a}\) Definition of Uniqueness of Set Elements

Thus the ordered pair degenerates into the set $\set {\set a}$.

Most works on this subject gloss over this point, and indeed, completely fail to mention it.


Sources