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