ZF+V/=L の無矛盾性って、まずLに非構成的集合を一つだけ付加して、それを
ZF公理系を充足するように一歩一歩拡大していくことによって簡単にできる
んじゃないかと思うのだが、どこで間違ってる？