Definition:Ordered Pair/Kuratowski Formalization/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Kuratowski Formalization of Ordered Pair

The Kuratowski formalization of the concept of the ordered pair was established in $1914$ in collaboration with Norbert Wiener.


Sources