這堂後設邏輯將延續基礎邏輯課程，介紹一些邏輯的後設定理。我們將介紹哥德爾的不完備定理，以及一些基本的證明論與模型論。