国产91青青成人a在线/在线视频成人/aaa成人永久在线观看视频/深夜草莓视频app

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

何建鋒，男，1987年生，河南登封人，2018年畢業于南開大學邏輯學專業，獲哲學博士學位，現任中南財經政法大學哲學院講師，主講現代邏輯相關課程，參與國家社會科學基金重點項目1項，主持湖北省社會科學基金項目1項，主持校級科研項目3項，發表CSSCI論文3篇。