2.2 수학기초론
2.2.1 괴델의 정리를 기초로 1950년대 형성된, 수학적 진리의 기초인 근거를 규명하려는 학문
2.2.2 논리적으로 참(옳음)이란 무엇인가?
2.2.3 어떠한 근거에서 '무한'의 개념을 인식할 수 있는가?
2.2.4 논리의 법칙은 현재까지 알려진 것이 다라고 할 수 있는가?
2.2.5 '집합'을 무엇이라 정의하는가?
2.2.6 집합론의 공리는 현재 쓰고 있는 것 외에 더 필요하지 않는가?
2.2.7 수학에는 모순이 없는가?
2.2.8 수학이란 도대체 무엇인가?