>>79
メタ世界とか対象の世界というのは仮の表現であって、
そういった言葉を一切持ち出さずに
両者を普通の数学をするように集合論の中で定義して、
メタとか対象とかモデルなんて用語を一切に用いずに
構成することは可能。
メタとか対象とかモデルって用語は、
ベクトル空間を扱うときに、速度とか加速度などと
現実のイメージに対応する用語を使うようなもの。
>>81
基礎付けは完成しています。
ＺＦＣ、ＮＦ、トポス。