{"id":"arxiv/2610.19283","url":"https://arxiv.org/abs/2610.19283","tags":["math.LO"],"score":0,"title":"What David Teaches Goliath: An Inevitable Extension of ZFC","domain":"math.LO","source":"arxiv","authors":["Ali Enayat"],"reviews":0,"subject":"math.LO","summary":"We examine the metamathematical significance of the Levy scheme $Λ$, which asserts, for each natural number $n$, the existence of an $n$-Mahlo cardinal $κ$ such that $V_κ\\prec_{Σ_n}V$. Several initially unrelated constructions single out $\\mathsf{ZFC}+Λ$: comparisons with the model theory of arithmetic and finite set theory; class theories in which the class of ordinals has the tree property; set theories with a proper class of indiscernibles; and interpretations of ordinary set theory in Cantorian parts of models of the extension \\mathsf{NFUA} of Quine--Jensen set theory $\\mathsf{NFU}$.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}