形式科學

形式科學是指主要研究對象為抽象形態的科學，如邏輯、數學、計算理論、資訊理論、統計學等。