Definition:Ordered Pair/Wiener Formalization/Historical Note

Historical Note on Wiener Formalization of Ordered Pair
The Wiener formalization of the ordered pair was devised by in $1914$.

According to by  and, this was the first such scheme for axiomatising the concept of the ordered pair.