집합론
재귀 이론, 기술적 집합론, 페아노 산술 연구 등에 있어서 중요한 개념이다.