수학기초론From Wikipedia, the free encyclopedia 수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이다. 수학의 기초를 찾는 것은 근본적인 의미에서 수학적 명제가 옳다고 말할 수 있는 근거가 무엇인지를 연구하는 것이며, 이는 수리철학의 중심 과제이다.
수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이다. 수학의 기초를 찾는 것은 근본적인 의미에서 수학적 명제가 옳다고 말할 수 있는 근거가 무엇인지를 연구하는 것이며, 이는 수리철학의 중심 과제이다.