>>188
>>「無矛盾性を証明できない」
>>つまり矛盾が存在するかもしれない。
>>言い換えればＡかつnotAが存在するかもしれないということですよね？

>いいえ、違います

すみません、やっぱりこの部分はわかりません。
「無矛盾であることは証明できない」とは
無矛盾かもしれないし有矛盾かもしれない。
もし有矛盾だったら、ある定理と矛盾するような定理が存在するかもしれない、
つまりＡかつnotAと言うことに成ると思うのですが。