>>275
なんかで読んだ記憶があるんですが、ある程度以上大きい理論は自身の無矛盾性を証明できないとかいう定理があった記憶があるんですが、それとは矛盾しないんですか？
それはZFCより真に大きい立場からの証明という事ですか？
載ってる教科書あったら教えて下さい