请输入您要查询的日文单词:
单词
ゲーデルのふかんぜんせいていり【ゲーデルの不完全性定理】
释义
ゲーデル
‐
の
‐
ふかんぜんせいていり
【ゲーデルの不完全性定理】
〔―フクワンゼンセイテイリ〕
1
一
9
九
3
三
1
一
年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定理と、公理系自身の無矛盾性を公理系内で証明することができないという第二不完全性定理がある。
随便看
OUR HOUSE
ouroboros
Ouro Preto
ourselves
OUT
OUT
out
outback
outbound
outbound data
outbound link
outbound marketing
outbound tourism
outbound traffic
out-box
outbreak
outbreed
outcome
out count
outdoor
outdoor life
OUTDOOR LIFE たまゆらの里
outdoor sports
OUTDOOR STYLE GO OUT
outer
日汉互译翻译词典包含1040369条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。
Copyright © 2000-2023 Newdu.com All Rights Reserved
更新时间:2025/9/29 15:11:16