请输入您要查询的日文单词:
单词
ゲーデルのふかんぜんせいていり【ゲーデルの不完全性定理】
释义
ゲーデル
‐
の
‐
ふかんぜんせいていり
【ゲーデルの不完全性定理】
〔―フクワンゼンセイテイリ〕
1
一
9
九
3
三
1
一
年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定理と、公理系自身の無矛盾性を公理系内で証明することができないという第二不完全性定理がある。
随便看
ほおじろざめ
ほおじろざめ【頰白鮫】
ほおずき
ほおずき
ほおずき【酸漿┊鬼灯】
ほおずきいち
ほおずきいち【酸漿市】
ほおずきがい
ほおずきがい【酸漿貝】
ほおずきぢょうちん
ほおずきぢょうちん【酸漿提灯】
ほおずきまつり
ほおずり
ほおずり【頰擦り┊頰摺り】
ほおづえ
ほおづえ【頰杖】
ほおにく
ほおにく【頰肉】
ほおのき
ほおのき【朴の木┊厚朴】
ほおはつら
ほおば
ほおば【朴歯】
ほおばみそ
ほおばみそ【朴葉味噌】
日汉互译翻译词典包含1040369条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。
Copyright © 2000-2023 Newdu.com All Rights Reserved
更新时间:2025/6/25 15:05:16