本書使用文獻研究法討論了一個數理邏輯問題：弗協(xié)調集合論是否優(yōu)于經典集合論。書稿從張清宇先生的弗協(xié)調命題邏輯出發(fā)構造一階謂詞系統(tǒng)和集合論系統(tǒng)，并構造模型證明其非平凡性，結果證明現(xiàn)有的弗協(xié)調集合論不優(yōu)于經典集合論。本書同時還用模型證明了弗協(xié)調集合論的非平凡性，在一定意義上拓展了其應用領域，實現(xiàn)了洛韋和塔拉法德的猜想，將廣義代數值模型推廣到弗協(xié)調集合論，書稿也對集合論模型的構造技術作了一次較為充分的梳理，為其它集合論模型的研究提供參考。