分层概括公理的简短公理化
逻辑
2020-09-10 v2
摘要
分层概括公理有若干有限公理化。著名的有 Hailperin 的和 Randall Holmes 的两种。然而，此处给出的系统可能是用集合论一阶语言写出的最短已知公理化。该公理化使用无序对，而先前的公理化使用有序对，因而在集合论一阶语言中给出了更简单的表述。该证明在无外延性假设下成立，故可用于补全 NFU 或 NF 的公理化。
引用
@article{arxiv.2009.03185,
title = {Short Axiomatization of Stratified Comprehension},
author = {Zuhair A. Al-Johar},
journal= {arXiv preprint arXiv:2009.03185},
year = {2020}
}
备注
5 pages