摘要：本文討論了ZF的經典模型和非經典模型,梳理了它們的最新動態,并且將ZF的廣義代數值模型推廣到基于形式不一致邏輯的弗協調集合論。該推廣過程的關鍵在于解決兩個問題:第一,這類弗協調集合論是否包含不是一致的集合;第二,在模型中如何處理相等關系=,以便它能夠滿足萊布尼茲公理。此外,本文構造的廣義代數值模型具有一定的可推廣性。