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

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