집합론

제1장 명제와 연산자 관계

  1. 명제와 논리연산
  2. 집합과 포함관계
  3. 관계와 함수
  4. 동치관계와 순서관계

제2장 함수

  1. 함수의 정의
  2. 단사·전사·전단사
  3. 합성함수와 역함수
  4. 상과 역상

제3장 동치관계와 분할

  1. 동치관계
  2. 동치류
  3. 분할
  4. 몫집합

제4장 기수

  1. 유한집합과 무한집합
  2. 가산집합
  3. 비가산집합
  4. 기수의 비교

제5장 순서수

  1. 순서집합
  2. 정렬집합
  3. 순서수
  4. 초한귀납법