>>410
ふっふ、ほっほｗ ；ｐ）

(参考)
fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf
第I部
構成的集合と公理的集合論入門

以下のテキストは「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）の，渕野 昌の執筆した第I部です．　
ただし，2009年の後期以降に神戸大学で大学院の講義でテキストとして用いた際に見つけたtypos などの訂正などの update が書きこまれているので，上記の本とは多少異なるものになっているところもあります．

Ｐ95
3.3 集合論の内部での論理とモデル理論
(引用終り)

ここからP96まで2ページを
百回音読してねｗ ；ｐ）

近藤友祐 神戸大学工学部電気電子工学科3 年>>410
プロ数学者の基礎論研究者によるフォローになっているよ