實際進度（與最新預計進度）
週三講到五個公理(axioms)，週五講完五個公設(postulate)、證明Prop29(a)、介紹球面與雙曲模型的意義（說明無法用其他公里公設證明第五公設）。
公設系統之完備、相容、模型建構。模型舉例—經濟學。亞里斯多德三段論與真值表。
真值表之計算。真值表為何這樣定。Frege 公設系統。邏輯的應用（MP, MT, PV, PVC）與限制。
邏輯的限制。