칸토어의 집합론과 괴델의 불완전성 정리
18세기와 19세기는 수학에 있어 엄청난 발전을 이루었던 수학의 황금기였다. 17세기에 뉴턴과 라이프니츠에 의해 발견 된 미적분학과 근대해석학은 18세기에 이르러 엄청나게 발전하였고. 19세기에 이르러선 수학의 개념이 점점 추상화 되기 시작하였다. 기존의 상식으로는 설명할 수 없는 비유클리드기하(Non Euclidean geometry)가 로바체프스키(Nikolai I. Lobachevsky), 야노시(János Bolyai), 리만( Bernhard Riemann) 등에 의해 발견되었고, 아벨(Niels Henrik Abel)과 갈루아(Évariste Galois)에 의해 군론, 추상대수학이 발전하게 되었다. 이와 같이 수학이 기존과 달리 점차 복잡해지고 기존의 직관과 상식에 벗어나 점차 형식화, 추상..