普通の（形式化されてない）モデル理論は、
形式体系を対象とした普通の実在主義数学。

しかし、そのモデル理論を形式化したもの
こそが考察されるべき客体だ、と考えれば
また形式主義が復活する。

形式主義は、永遠のいたちごっこ。しかし、
それが無意味だと思わない。ま、俺は普通
数学しか、やらないけどね。