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