集合論について

[0283 １３２人目の素数さん 2014/04/28(月) 14:36:22.88]

どこが違うからなの？
歴史的には、ZF+not{V=L}の無矛盾性の証明はできることはわかっていたが、
どのように証明するかに手間取ったの？
人間版不完全性定理っていうのはないの？