形式科學

出自維基百科,自由嘅百科全書

形式科學jing4 sik1 fo1 hok6英文formal science)係指研究形式語言科學領域,例子有數學邏輯學