Foundations of Mathematics

수학은 무엇 위에 서 있는가?

1900년 무렵 집합론의 역설이 수학을 흔들자 논리주의, 형식주의, 직관주의가 저마다 기초를 세우려 했고 괴델의 정리가 논쟁의 판을 바꾸었습니다.