摘要:本文討論了ZF的經(jīng)典模型和非經(jīng)典模型,梳理了它們的最新動態(tài),并且將ZF的廣義代數(shù)值模型推廣到基于形式不一致邏輯的弗協(xié)調(diào)集合論。該推廣過程的關(guān)鍵在于解決兩個問題:第一,這類弗協(xié)調(diào)集合論是否包含不是一致的集合;第二,在模型中如何處理相等關(guān)系=,以便它能夠滿足萊布尼茲公理。此外,本文構(gòu)造的廣義代數(shù)值模型具有一定的可推廣性。
注:因版權(quán)方要求,不能公開全文,如需全文,請咨詢雜志社