形式科學

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