tft每日頭條

 > 知識

 > 歐幾裡得幾何是完備的嗎

歐幾裡得幾何是完備的嗎

知識 更新时间:2024-08-22 18:25:12

  哥德爾不完備定理并不意味着任何有意義的公理系統都是不完備的。該定理需假設公理系統可以“定義”自然數。不過并非所有系統都能定義自然數,就算這些系統擁有包括自然數作為子集的模型。歐幾裡得幾何可以被一階公理化為一個完備的系統(事實上,歐幾裡得的原創公理集已經非常接近于完備的系統。所缺少的公理是非常直觀的,以至于直到出現了形式化證明之後才注意到需要它們)。

更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!

查看全部

相关知識资讯推荐

热门知識资讯推荐

网友关注

Copyright 2023-2024 - www.tftnews.com All Rights Reserved