すべての bounded formula $\tau=\tau(x_0,\ldots, x_{m-1},y_0,\ldots,y_{n-1})$ と numerals $\bfn_0,\ldots,\bfn_{n-1}$ に対し， $\calN\models\exists x_0\cdots\exists x_{m-1} \tau(x_0,\ldots, x_{m-1},\bfn_0^\calN,\ldots,\bfn_{n-1}^\calN)$ $\Leftrightarrow$ $A_E\vdash\exists x_0\cdots\exists x_{m-1} \tau(x_0,\ldots, x_{m-1},\bfn_0,\ldots,\bfn_{n-1})$ が成り立つ．
ただし，論理式 $\tau$ が bounded formula であるとは，$\tau$ が quantifier free な論理式を bounded quantifiers で縛ることで得られるものになっていることである．
2. 最後の講義で証明した Tarski の真理の定義不可能性定理とゲーデルの不完全性定理を自分の言葉で整理しなおしてできるだけ詳しく説明 （証明も含む）してください．
注意． 上の課題は，2つとも， 「講義のノートの該当する箇所を（内容を吟味しながら）整理しなおしてください」という意味の問題です．