문서 편집 권한이 없습니다. 다음 이유를 확인해주세요: 요청한 명령은 다음 권한을 가진 사용자에게 제한됩니다: 사용자. 문서의 원본을 보거나 복사할 수 있습니다. [목차] == 개요 == 형식과학은 이론적 형식 체계와 관련된 학리적 연구에 대한 과학이다. 즉, [[사회과학]]이나 [[자연과학]]같은 경험과학과는 달리 형식과학은 연역 추론을 통하여 새로운 지식을 얻는다. 그러므로 더 이상 거슬러 올라가지 않는 기초적인 근거가 되는 명제가 있어야하는데[* 왜냐면 그런 것이 없으면 모든 명제가 '이건 왜 그런가' 하는 증명 과정이 무한번 필요하므로]이것이 [[공리]]이다. == 하위 학문 == [[수학]] [[논리학]] 형식과학 문서로 돌아갑니다.