形式科學formal science)係指研究形式語言科學領域,例子有數學邏輯學