形式科學

形式科學jing4 sik1 fo1 hok6（英文：formal science）係指研究形式語言嘅科學領域，例子有數學同邏輯學。