수학기초론

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학공리적 집합론, 모델 이론재귀 이론 등을 가리키는 말이다. 수학의 기초를 찾는 것은 근본적인 의미에서 수학적 명제가 옳다고 말할 수 있는 근거가 무엇인지를 연구하는 것이며, 이는 수리철학의 중심 과제이다.

함께 보기[편집]