请输入您要查询的日文单词:

 

单词 ゲーデルのふかんぜんせいていり【ゲーデルの不完全性定理】
释义 ゲーデルふかんぜんせいていり【ゲーデルの不完全性定理】〔―フクワンゼンセイテイリ〕1931年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定理と、公理系自身の無矛盾性を公理系内で証明することができないという第二不完全性定理がある。
随便看

 

日汉互译翻译词典包含1040369条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。

 

Copyright © 2000-2023 Newdu.com All Rights Reserved
更新时间:2025/6/25 15:05:16