【台灣大學】《邏輯學》（全100講）傅皓政 P18 - 18. Ⅲ：3.5.形式語言的必要性