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