不完全性定理
クルト・ゲーデルが1931年に証明した数学の定理。無矛盾な公理系には証明も反証もできない命題が存在することを示す。
言語学的特徴
—
HEADWORD
不完全性定理
「不完全性定理」は、読み「フカンゼンセイテイリ」（10文字・10モーラ）の日本語の長い言葉。ジャンルは 自然科学 › 数学 › 数理論理学。クルト・ゲーデルが1931年に証明した数学の定理。無矛盾な公理系には証明も反証もできない命題が存在することを示す。
10
CHARACTERS
HEADWORD
「不完全性定理」は、読み「フカンゼンセイテイリ」（10文字・10モーラ）の日本語の長い言葉。ジャンルは 自然科学 › 数学 › 数理論理学。クルト・ゲーデルが1931年に証明した数学の定理。無矛盾な公理系には証明も反証もできない命題が存在することを示す。