집합론

• 유형론적 대각선 논법
• 강제법 개론
• 측도 문제와 연속체 가설
• 서슬린의 문제와 다이아몬드 원리
• 클럽 집합과 정상 집합
• 닫힌집합과 보렐 집합에서의 연속체 가설
• 기수 연산
• 포화된 구조와 실수체의 완전성
• η 집합
• 정칙 기수와 특이 기수, 그리고 도달 불가능 기수
• 연속체 가설과 동치인 색칠 문제
• 기수의 정의에 관한 노트
• V = L 공리의 무모순성
• 초한귀납과 초한재귀
• 정렬의 삼분성과 서수의 완전성
• 유리수와 실수의 집합론적 정의
• 칸토어-슈뢰더-베른슈타인 정리
• ZFC 공리의 목록