全ての命題が真かもしれないという事実

全ての命題が真かもし ..

7:１３２人目の素数さん
20/07/31 03:35:52.86 rtjeydzH.net
「無矛盾性を証明できない」ってつまりどういうことなんだろ？
ずばり矛盾が生じるかもしれないってこと？
だとすると一旦証明された命題の否定命題が証明されてしまう可能性もあるってこと？