ZF中一个可解释的不一致性
An arguable inconsistency in ZF
摘要：
经典理论证明了每个原始递归函数在PA中是强可表示的;形式Peano算术PA和形式原始递归算术PRA都可以在Zermelo-Fraenkel集合论ZF中解释;如果ZF是相容的，则PA+PRA是相容的。我们证明PA+PRA是不一致的，因此ZF也是不一致的。
英文摘要：
Classical theory proves that every primitive recursive function is strongly representable in PA; that formal Peano Arithmetic, PA, and formal primitive recursive arithmetic, PRA, can both be interpreted in Zermelo-Fraenkel Set Theory, ZF; and that if ZF is consistent, then PA+PRA is consistent. We show that PA+PRA is inconsistent; it follows that ZF, too, is inconsistent.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
