形式科學

形式科學 （ formal science ） 是指主要研究對象爲抽象形態的科學 ， 如邏輯 、 數學 、 統計學等 。