男女激情视频网站在线-狠狠躁夜夜躁人人爽天天3-99国产午夜在线精品-一区二区三区日本精品视频-久久99热这里只精品-国产精品熟女视频区蛋播-人久热欧美在线观看量量-加勒比熟妇中文高清-碰碰视频一区二区三区

歐幾里得幾何是完備的嗎

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