形式科學

係指研究形式語言嘅科學領域，例子有數學同邏輯學。