>強力と言えるのは、フルパワー選択公理と置換公理くらいよｗ（＾＾
置換公理がどう強力か自分の言葉で説明してみて。

>だが、グロタンディクの圏論には 力不足だった
>そこで到達不能基数κさまの出番となったｗ
大嘘。
完全性定理と不完全性定理より理論のモデルを構成するにはメタ理論が必要。
これは自然数論を含む一階理論一般に言えることであってZFCに限った話ではない。
圏論との関係で言えば真クラスではなく集合としてのZFCモデルが欲しかったということ。

>V内の任意のステージVαで
>このαは順序数であり
>任意の順序数αはZFCで構成できる■
大嘘。
順序数は非可算個存在するが、存在証明可能な順序数はたかだか可算個。つまりほとんどすべての順序数は存在証明不可能。
この事実はほとんどすべての実数は定義不可能であること本質的に同じ原因。

>あとはゴミだから流す（＾＾
じゃあ数学板から君の存在を流すべき　ジャーーー