순서쌍: 두 판 사이의 차이

=== 위너의 정의 ===

순서쌍의 최초 집합론적 정의는 1914년 [[노버트 위너]]에 의해 제안되었다.<ref name="Wiener">{{논문 인용|성=Wiener|이름=Norbert|저자고리=노버트 위너|편집자-성=van Heijenoort|편집자-이름=Jean|출판날짜=1967|제목=From Frege to Gödel: A Source Book in Mathematical Logic|출판사=Harvard University Press, Cambridge MA|판=재|장=A Simplification of the logic of relations|언어=en|isbn=0-674-32449-8}}</ref>

 

그에 의하면 이러한 정의는 《[[수학 원리]]》의 모든 [[형 이론|유형]]을 집합으로 정의될 수 있게 한다. (《수학 원리》의 [[관계 (수학)|관계]]를 비롯한 유형들은 본래 모두 정의내리지 않는 [[무정의 용어|원시 개념]]이다.)