형식과학의 일반적 분류 논리학Logic 수학Mathematics 통계학Statistics 시스템 과학System Science 이론 컴퓨터 과학Theoretical Computer Science 분류 둘러보기 틀/과학 둘러보기 틀/학문별 분과 형식과학