1樓：蘿蔔列夫耶維奇
最平凡的例子，只用乙個公理，所有x，y（x=y），當語言中謂詞只有=時完備。
舉個不平凡的例子，無端點稠密線序的公理是完備的，因為它的模型是可數——範疇的。
2樓：
舉乙個最簡單的例子
考慮構成的語言，其中a,b,...是變數
定義：~p 等價於 p→⊥
定義：(ョ!a)(p(a)) 等價於 (ョa)(p(a) & ~(ョb)(~b=a & p(b)))
公理：(1) (ョ!a)(φ(a))
(2) (ョ!a)(~φ(a))
相容性是顯見的，令模型為，φ(a)解釋為a=0，則公理在模型上成立完備性更顯見，不妨假設MN都是模型，並且=號的解釋就是模型內的=，那麼這兩個集合都是二元集合，並且φ對乙個元素成立對另乙個元素不成立，顯然同構
構造完備而相容的公理體系太容易了，盡可能簡單就行
3樓：學半
既相容又完備的公理體系只有乙個，即以唯一的一條公理：「宇宙只有乙個」為理論出發點的宇宙幾何學(物質的幾何學)演繹體系。這種理論體系在古代即已出現。
參見《古今數學思想漫談》：
陳江：古今數學思想漫談——"道"之誤解誤傳當正本清源
4樓：腳趾頭
比如說：
代數閉域公理系統。
有符號：x,y,z……e,=,,+,(,)有公理：1）域公理（不細說了）
2）任意多項式存在根（不細說了……）
3）特徵為p（質數，pΞ0）或者是0
順帶一提，實數域公理系統也是完備的，不過特殊在於這是二階邏輯。
還有，哥德爾不完備定理是說，能匯出算數公理體系（皮亞諾自然數公理系統）的一階邏輯肯定不完備。
而不能匯出算數公理體系的公理系統未必完備，比如說歐幾里得提出的幾何公理系統是不完備，後來加上了平行公理和完備性公理（這裡的完備性不是指公理系統的完備性，而是實數的完備性）的幾何公理系統才是完備的（希爾伯特幾何公理）。這跟實數域公理是等價的。所以解析幾何才能成立。
真的有可能 總是點到既好吃又便宜的外賣嗎 甚至比做飯更省錢 ？
摳腳小仙女 要回答題主的問題，首先來捋一捋外賣的成本。乙份外賣的成本 店租 人工 水電雜費 食材 打包盒 外賣平台抽佣。單拿外賣平台抽佣來說，某餓和某團，佣金在20 左右，4元保底。什麼意思，就是你點乙份10塊錢的螺螄粉，按照20 算，店主要給平台付2塊，但實際店主要付4塊，也就是說，店主拿到手的，...
有哪些大型犬既方便打理又很溫柔的嗎？
丁丁叮不是我 拉布拉多值得，但是餵養過程中，你不得不直面他巨大的飯量以及跟飯量成正比的粑粑 以及，一不小心胖成拉布拉 有些狗，長著長著就變獼猴桃了，沒胖起來之前顏值真的可以，胖起來之後，行走版的一胖毀所有。 一般毛髮厚實的都是看上去溫柔的，但是厚實的肯定不好打理，洗剪吹可貴了。題主不能什麼都想要。如...
認知是幾元的？有和無相對嗎？存在既有又無的嗎？空該如何理解？
彷彿 認知是從純一覺性中，真如不守自性，妄動而生的。覺明為咎 本來沒有明與不明，覺有乙個明，就有乙個無明了，當然，也沒有空與非空 生出能覺，所覺。此能覺與所覺，二元相對。但是，所是妄立，所以能也是妄能。這是個大前提。能所俱泯，強名為 空 此 空 非與有相對的空，而是本然如是，純一覺性之絕對 空 故不...