クルト・ゲーテルさんの名言 投稿日時：2021-11-05 17:24:24    > URLを携帯に送信   > RSSフィードを取得

ある程度の有限的算術を含むどんな無矛盾な形式体系にも決定不能な算術命題が存在し、さらにそのような体系の無矛盾性はその体系においては証明できない。

コメント一覧

コメントはありません。