집합론

• 연속체 가설과 동치인 색칠 문제
• 기수의 정의에 관한 노트
• V = L 공리의 무모순성
• 초한귀납과 초한재귀
• 정렬의 삼분성과 서수의 완전성
• 유리수와 실수의 집합론적 정의
• 칸토어-슈뢰더-베른슈타인 정리
• ZFC 공리의 목록