不完全性定理

不完全性定理フカンゼンセイテイリ

ヘボン式ローマ字：fukanzenseiteiri 母音パターン：uaeeieii

クルト・ゲーデルが1931年に証明した数学の定理。無矛盾な公理系には証明も反証もできない命題が存在することを示す。

言語学的特徴

—

ジャンル

エンティティ

定理・法則

品詞

普通名詞

語種

日本語

読みの文字数

10文字

モーラ数

10モーラ

先頭文字

フ

末尾文字

リ

円環交差数

19回 五十音円環を見る

別表記

• ゲーデルの不完全性定理ゲーデルノフカンゼンセイテイリ