Inter-universal geometry と ABC 予想 43

Inter-universal geometry と ABC 予想 43at MATH

Inter-universal geometry と ABC 予想 43 - 暇つぶし2ch141:１３２人目の素数さん
20/04/08 15:30:09 cYpOluTa.net
>>135
追記
・公理系が矛盾していれば、矛盾を導く証明は示せる
・逆に無矛盾の場合、無矛盾だと判定する一般的手続きは存在しない

次ページ

続きを表示

1を表示