@kururu_goedel: #シェラー伝説 彼は少なくとも二つの人格、すなわち強制法でありとあらゆる命題の無矛盾性を証明していく黒シェラーと、PCFなどの理論でZFC上の定理を量産する白シェラーである。黒シェラーが無矛盾と言えなかった命題を、目を覚ました白シ…