论文标题
无环的理解等于分层的理解
Acyclic Comprehension is equal to Stratified Comprehension
论文作者
论文摘要
定义了一个新的理解标准，最初由我自己称为“连接”，最后由兰德尔·霍尔姆斯（Randall Holmes）先生称为“ acyclic”。无环的理解只是断言，对于任何无环的公式PHI，{x：phi}的集合存在。我首先向兰德尔·福尔摩斯（Randall Holmes）先生介绍了该标准，后者进一步对其进行了严格的定义，这一定义最终简化为这里提出的定义。后来，福尔摩斯先生在此也提到了该定义的另一个介绍。他指出，我指出，无环的理解是通过分层暗示的，并提出了一个问题，即它是否等同于完全分层还是严格弱。他和我本人最初认为这严格较弱。兰德尔·福尔摩斯（Randall Holmes）先生实际上猜想它非常虚弱。令人惊讶的是，它变成等同于完整的分层，正如我在这里证明的那样
A new criterion of comprehension is defined, initially termed by myself as "connected" and finally as "Acyclic" by Mr. Randall Holmes. Acyclic comprehension simply asserts that for any acyclic formula phi, the set {x:phi} exists. I first presented this criterion semi-formally to Mr. Randall Holmes, who further made the first rigorous definition of it, a definition that I finally simplified to the one presented here. Later Mr. Holmes made another presentation of the definition which is also mentioned here. He pointed to me that acyclic comprehension is implied by stratification, and posed the question as to whether it is equivalent to full stratification or strictly weaker. He and initially I myself thought that it was strictly weaker; Mr. Randall Holmes actually conjectured that it is very weak. Surprisingly it turned to be equivalent to full stratification as I proved here
