수학기초론: 두 판 사이의 차이

수학은 고대부터 다른 학문에서의 [[엄밀함]]을 확인하는 도구가 되었는데, [[19세기]] 중엽부터 [[수학]]의 체계 자체내에서 더욱 엄밀한 기초가논리체계가 요구되었고, 그 결과 [[리하르트 데데킨트]]의 실수론과 [[게오르크 칸토어]]의 [[집합론]]이 나왔다. 그러나 [[1901년]] [[버트런드 러셀]]이 칸토어가 정의한 집합론에서 [[역설]]을 발견하였다. 이것을 계기로 [[수학자]]들은 수학의 기초를논리체계를 반성하고 수학의 기초를 비판하였으며, 이로써 수학기초론이 생겨났다. 러셀이 제기한 역설을 해결하여 수학의 안정성을 보증하는 이론이 바로 수학기초론이라 할 수 있다.