>>617
＞普通の（形式化されてない）モデル理論は
＞形式体系を対象とした普通の実在主義数学。
＞しかし、そのモデル理論を形式化したものこそが
＞考察されるべき客体だ、と考えれば
＞また形式主義が復活する。

君の間違いは、形式化されたものが客体だと考えていること。
実は形式化は客体ではない。客体でないからこそ、形式体系が
言い表しえるものを、モデル理論で考えるわけだ。
しかし、そのものとかいうのも、結局形式化してしまったら、
またそれが言い表しえるものを考えなくてはならない。
これは無限後退だね。

いいかい、そこで主体が責任をもつ必要があるんだよ。
君のように責任を恐れる臆病者には数学は無理なんだよ。