本文關鍵詞：非良基公理的本質及其應用

  更多相關文章： 非良基公理 精確圖 FAFA AFA SAFA

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

【相似文獻】

中國期刊全文數據庫 前10條

1 李娜;史t，

本文編號：914445