大卫·贝内特 集合论的一个公理。 （英语） Zbl 1015.03050号 圣母院J.形式逻辑 41，第2期，152-170（2000）. 总结：集合论中的公理通常具有形式\（对于所有z，存在y；对于所有x，存在y（x\在y\左箭头Fxz中）\），其中\（F\）是以某种方式将\（x\）与\（z\）链接起来的关系。本文引入了一种特殊的联系关系（L）和一个基于（L）的公理，从中可以导出Z（Zermelo集理论）的所有公理作为定理。单一公理在非正式和正式版本中都有介绍。这就需要对形式公理方法和非正式公理方法的相关特征进行一些讨论，并对建立在单个公理上的集合论系统S的相关特征展开一些讨论。S被证明比Z强一些，但比ZF弱得多（Zermelo-Frenkel集合论）。 引用于1文件 MSC公司： 03E30年 经典集合论及其片断的公理化 00A30型 数学哲学 关键词：Zermelo集合论;连锁关系;单一公理 PDF格式BibTeX公司 XML格式引用 \textit{D.Bennett}，圣母院J.形式逻辑41，No.2，152--170（2000；Zbl 1015.03050） 全文： 内政部 参考文献： [1] 伯奈斯，P.，公理集理论，北荷兰出版公司，阿姆斯特丹，1958年·Zbl 0082.26301号 [2] Boolos，G.，“集合的迭代概念”，《哲学杂志》，第68卷（1971年），第215–31页·Zbl 0972.03539号 [3] Cohen，P.，《集合理论和连续统假设》，W.A.Benjamin，Inc.，纽约，1966年·Zbl 0182.01301号 [4] 哥德尔，K.，“什么是康托连续统问题？”，《美国数学月刊》，第54卷（1947年），第515-25页·Zbl 0038.03003号 ·doi:10.2307/2304666 [5] Hallett，M.，《康托利集理论与规模限制》，牛津大学出版社，纽约，1984年·Zbl 0656.03030号 [6] Hilbert，D.和P.Bernays，Grundlagen der Mathematik。第二卷，施普林格，柏林，1939年·Zbl 0020.19301号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。