形式語言

係每一個字都有精確定義嘅語言，相對於日常講嘢用嘅自然語言。

例子可以睇吓程式語言噉。

數學
邏輯