unprovable

「unprovable」の例文例文

Gödel showed that some mathematical truths are unprovable within a given system.

ゲーデルはある数学的真理が特定の体系内で証明不可能であることを示した。

「unprovable」のコアイメージコアイメージ

特定の公理系や論理体系の内部で命題が証明によって示せないこと

「unprovable」の英英英英

Unable to be shown true by a proof, especially within the rules of a particular formal or axiomatic system.

「unprovable」の語源語源

unprovableは、否定の接頭辞un-とprovable（証明できる）から成り、provableはラテン語probare（試す・証明する）に由来して「証明できない」という意味になった。

「unprovable」のコラムコラム

• 数学ではunprovableは体系内で証明できないことを示し、証明不可能が必ずしも命題の偽性を意味しない点がゲーデルの例で重要視される。

単語を報告