>>227-228 補足
ポイントを補足しておく

１）TGは、ZFCの非保存的拡張とは？
　”ZFCで作ることのできる集合はすべて TGで作れる かつ ZFCで作ることのできない集合もTGで作れる”
２）”タルスキの公理は、ZFCよりもはるかに多くの集合を保証する公理である”
３）”非自明なグロタンディーク宇宙の存在は、ツェルメロ・フレンケル集合論の通常の公理を超えており、特に、強く到達不可能な基数の存在を意味する”

これを百回音読しよう！！ｗｗｗ（＾＾