>>113, >>128
107だが、>>107でも書いたように
俺自身はブラックボックスにすることがいいとは思っていない。
批判があればくるるさんに直接言ってくれ。

>>128
大概の場合はそうだが、例外もある。フォーシングなんかはそういう例外の例。
論理学的な部分はブラックボックスにしたまま独立性証明が出来てしまう。
これまでの数多の応用例で「ちょっとした変更」が必要になるのは
俺の知る限りクラスフォーシングくらいのもの。
いいか悪いかは別として、それでも集合論の研究が出来てしまうのが現実。

一応断っておくが、俺は>>88が間違っていると言いたいわけじゃない。
実際>>88は「そういう見方もできる」って意味で正しい。
ただそういう見方をして研究している人は現代集合論ではいない（いても少数派）ってこと。