本文關(guān)鍵詞： 非良基公理 裝飾 解引理 典范裝飾 典范解　出處：《邏輯學(xué)研究》2012年02期 　論文類型：期刊論文

【摘要】：在集合論ZFC+AFA中,每個圖有唯一裝飾,每個方程組有唯一解。但是,在集合論ZFC+SAFA和ZFC+FAFA中,每個圖并非只有一個裝飾,每個方程組并非只有一個解。筆者通過定義互模擬坍塌概念,在可達(dá)點(diǎn)圖的典范裝飾概念的基礎(chǔ)上導(dǎo)出方程組的典范解,提出并證明:在上述三種具體的非良基集合論中,每個可達(dá)點(diǎn)圖都有唯一的典范裝飾,每個方程組有唯一的典范解。
[Abstract]:In set theory ZFC AFA, each graph has a unique ornament and each set of equations has a unique solution. However, in set theory ZFC SAFA and ZFC FAFA, each graph is not only decorated. The author defines the concept of mutual simulation collapse and derives the canonical solution of the equations on the basis of the concept of canonical decoration of reachable point graph. It is proposed and proved that each reachable point graph has a unique canonical decoration and each system of equations has a unique canonical solution in the above three kinds of concrete non-good basic set theory.
【作者單位】： 湖南科技學(xué)院思政部;中國社會科學(xué)院哲學(xué)研究所;
【基金】：2012年國家社科基金項目(互模擬理論的邏輯研究)(12BZX060)
【分類號】：B81-0
【正文快照】： 一、AFA解引理1.1AFA集合論在《非良基集合論》中,埃澤爾討論了三種正則互模擬,由此產(chǎn)生了三種不同的非良基公理:AFA,FAFA,SAFA。因為這三種正則互模擬對滿系統(tǒng)是絕對的,可以證明集合論ZFC AFA相對于ZFC是一致的。對于一個給定的正則互模擬,我們用V表示ZFC AFA的域�；ツM對，

本文編號：1454816