Set theory
이 부분에서는 집합론, 산술 및 이항관계의 기초적인 개념을 이용해 순서론의 기본 개념들을 정의한다.