형식과학 1. 개요2. 하위 학문1. 개요형식과학은 이론적 형식 체계와 관련된 학리적 연구에 대한 과학이다. 즉, 사회과학이나 자연과학같은 경험과학과는 달리 형식과학은 연역 추론을 통하여 새로운 지식을 얻는다. 그러므로 더 이상 거슬러 올라가지 않는 기초적인 근거가 되는 명제가 있어야하는데[1] 왜냐면 그런 것이 없으면 모든 명제가 '이건 왜 그런가' 하는 증명 과정이 무한번 필요하므로 이것이 공리이다.2. 하위 학문 수학 논리학 컴퓨터과학 암호학 통계학 [1] 왜냐면 그런 것이 없으면 모든 명제가 '이건 왜 그런가' 하는 증명 과정이 무한번 필요하므로분류형식과학