집합론

제1장 논 리
1.1 명제와 그 합성 _ 3
1.2 논리법칙(항진, 함의, 쌍대) _ 8
1.3 추론 _ 12
1.4 명제와 한정기호 _ 18

제2장 집합의 개념
2.1 집합 _ 23
2.2 부분집합, 집합의 상등 _ 26
2.3 합집합, 교집합, 여집합 _ 29
2.4 데카르트 곱(Cartesian product) _ 34
2.5 첨자붙은 집합의 연산 _ 37

제3장 관계와 함수
3.1 관계 _ 45
3.2 분할과 동치관계 _ 47
3.3 함수, 전단사함수 _ 52
3.4 합성함수와 역함수 _ 64
3.5 변환, 제한함수, 확대함수 _ 68

제4장 가부번집합과 비가부번집합
4.1 집합의 대등 _ 75
4.2 가부번집합 _ 77
4.3 비가부번집합 _ 84

제5장 기수와 그 연산
5.1 기수의 개념 _ 91
5.2 기수의 비교 _ 92
5.3 기수의 덧셈, 곱셈 _ 99
5.4 기수의 멱(power) _ 104

제6장 서수 및 그의 연산
6.1 순서집합 _ 11
6.2 정렬집합 _ 125
6.3 서수의 개념 _ 132
6.4 서수의 비교 _ 134
6.5 순서수의 덧셈과 곱셈 _ 138
6.6 초한귀납법 _ 150

제7장 선택공리 및 그와 동치인 정리
7.1 선택공리(axiom of choice) _ 157
7.2 선택공리와 동치인 정리 _ 159

참고문헌 _ 165
연습문제의 해답 _ 167
찾아보기 _ 173