>>656
メタ理論まではまだ至ってないから何も言えないけれど、ZFC集合論というものがまさにそれに相当するものらしい
ちなみに自分は個人的にはどうとでもなれと思っている(このスレは同志を探すためのものらしく、だとしたらここは不適当だと思わざるを得ないのでその旨を時々話すのだけれど未だに市民権を得ていない)