>>516
ゲーデルのLは確かにラッセルの分岐型理論から来ているので
ZF+V=Lを可述的といえないこともないとは思う。
しかし順序数を所与としているのでそこが問題。
つまり可述主義では構成可能階層を
ZFCの意味での任意の順序数長さまで延ばせるのか？ということ。
可述的集合論の決定版探しはいまでも決着ついていないと思うけれど
上でちょっと話題になってるCZFやKPωなんかは可述的といわれる。