■

授業第二回目、三つのキーワード（メタと対象、統辞論と意味論、帰納的定義）と形式言語、また自然演繹の⇒の導入規則・除去規則についてです。