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

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

8:１３２人目の素数さん
20/07/31 06:31:53.47 dm4qkRLZ.net
だから何？としか。
現在主に使われている議論の元になっている公理系から矛盾が出たら、それから対処すればよい。
どのような公理や推論規則が矛盾の原因となるか調べて、別な公理系を設定し、その上でもう一度現在の証明や主張が成り立つか検討しなおす。
もちろん、別な良い公理系がみつからない可能性もあって、そのときは危機って言えるかもしれないが。

次ページ

続きを表示

1を表示