形式科學（formal science）是形式系統，如邏輯學、數學、理論計算機科學、信息理論、系統理論、判定理論、統計學和一些語義學有關知識分支。
而定義和規律基礎形式系統性質相聯繫。
形式科學（formal science）是形式系統，如邏輯學、數學、理論計算機科學、信息理論、系統理論、判定理論、統計學和一些語義學有關知識分支。
和其它科學，形式科學不是和基於世界觀察理論有效性聯繫。
而定義和規律基礎形式系統性質相聯繫。
形式科學是不可證偽，且具有可信度（考慮人疏忽情況下），即使是宗教，有質疑形式科學反例：無所不能上帝。
顯然，一個無所不能存在是違背邏輯，通過邏輯假設能證明“無所不能”存在：祂能創造一塊自己舉不起來石頭嗎？祂能創造出自己能力更大的生命嗎？如此超越邏輯存在，我們理解、想象，是本文討論邊界。
可證偽，且目前證偽命題稱為定律，多個定律集合稱為定律系，科學結論來定律演繹，科學研究方法是尋找儘可能定律，演繹出所有觀察和實驗結論。
延伸閱讀…
可證偽定義：現有命題A，可以設計觀察或實驗B，如果B結果是某一值，A錯誤。
可證偽，且目前證偽命題稱為定律，多個定律集合稱為定律系，科學結論來定律演繹，科學研究方法是尋找儘可能定律，演繹出所有觀察和實驗結論。
延伸閱讀…
來説，我們傾向於一個定律系可以拆分成儘可能多而簡介定律，而不是少而複雜定律。
有以下兩個命題介於物理學和數學之間，説：無矛盾律：任何定律系，數學演繹得到結論是無矛盾。
因果律：任何定律系，數學演繹得到因果性是確定。