머리말 / iii 제1장 수리논리학의 기초 1.1 명제와 결합자 / 2 1.2 항진, 모순, 함의, 동치명제 / 8 1.3 한정규칙 / 17 1.4 논증의 타당성 / 20 1.5 수학적 귀납법 / 26 제2장 페아노 공리 2.1 페아노 공리 / 36 2.2 자연수의 덧셈 / 40 2.3 자연수의 곱셈 / 48 제3장 집합의 개념 3.1 집합과 부분집합 / 54 3.2 합집합과 교집합 / 60 3.3 차집합과 여집합 / 65 3.4 첨수집합족 / 70 3.5 러셀의 역설 / 80 제4장 관계와 함수 4.1 데카르트곱 / 82 4.2 관계 / 86 4.3 함수 / 102 4.4 단사함수와 전사함수 / 107 4.5 함수의 합성과 역함수 / 116 제5장 무한집합과 유한집합 5.1 무한집합과 유한집합 / 124 5.2 집합의 대등 / 132 5.3 가부번집합 / 140 5.4 비가부번 무한집합 / 150 제6장 기수와 그 연산 6.1 기수와 기수의 대소 / 158 6.2 칸토어-슈뢰더-베른슈타인 정리 / 161 6.3 칸토어의 정리와 연속체 가설 / 166 6.4 기수의 연산 / 169 제7장 선택공리와 동치인 명제 7.1 선택공리 / 194 7.2 부분순서집합과 전순서집합 / 198 7.3 하우스도르프 극대원리 / 202 7.4 조른의 보조정리 / 212 7.5 정렬원리 / 219 7.6 초한귀납법의 원리 / 224 제8장 순서수와 그 연산 8.1 순서수와 순서수의 대소 / 232 8.2 순서수의 연산 / 241 8.3 브랄리-포르티 역설 / 255 참고문헌 / 261 찾아보기 / 263