本文關(guān)鍵詞：非良基公理的本質(zhì)及其應(yīng)用

  更多相關(guān)文章： 非良基公理 精確圖 FAFA AFA SAFA

【摘要】：精確圖就是具有單射裝飾的可達(dá)點(diǎn)圖。非良基公理可以歸結(jié)到對(duì)精確圖外延的確定上。不同的非良基公理對(duì)應(yīng)了不同種類的精確圖,進(jìn)而形成不同的非良基集合論。盡管近些年來(lái)AFA吸引了眾多人的注意力,但是巴威斯(Barwise)和莫斯(Moss)在證明AFA(每個(gè)圖有唯一裝飾)的合理性和方程解的唯一性中有乞題之嫌;使用AFA處理自指悖論也過(guò)于勉強(qiáng)。相比較而言,FAFA是最自然的非良基集合論系統(tǒng)。
【作者單位】： 湖南科技學(xué)院思政部;
【關(guān)鍵詞】： 非良基公理 精確圖 FAFA AFA SAFA
【基金】：國(guó)家社會(huì)科學(xué)基金資助項(xiàng)目:12BZX060
【分類號(hào)】：B81-0
【正文快照】： 一、圖、裝飾及精確圖埃澤爾(Aczel)方法的基本思想是使用有向圖描述集合。一個(gè)圖由一個(gè)結(jié)點(diǎn)集和一個(gè)邊集組成,每一條邊都是一個(gè)由結(jié)點(diǎn)組成的序?qū),n′。如果n,n′是一條邊,那么我們寫(xiě)成n→n′。一條路徑是一個(gè)由n0,n1,n1,n2,……連接的有窮或無(wú)窮序列n0→n1→n2…;

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 李娜;史t，

本文編號(hào)：914445