unprovable
「 unprovable」の意味 意味
- 形 証明不可能
「 unprovable」の例文 例文
「 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は体系内で証明できないことを示し、証明不可能が必ずしも命題の偽性を意味しない点がゲーデルの例で重要視される。
おすすめの単語帳
1 / 1
