집합론
일차 술어논리를 사용한 공리적 집합론.