{"id":"arxiv/2610.35928","url":"https://arxiv.org/abs/2610.35928","tags":["math.LO"],"score":0,"title":"A direct proof of Infinity in NF-0","domain":"math.LO","source":"arxiv","authors":["Zuhair A. Al-Johar"],"reviews":0,"subject":"math.LO","summary":"We give a direct proof of Infinity in the no-empty version of New Foundations, denoted NF-0, by establishing that every model of the specified theory contains an object that is not finite in a precise, internally defined sense. The version considered has extensionality, at least two distinct objects, no empty objects, and inhabited stratified comprehension: a stratified extension is supplied whenever it has a member. Finiteness combines a two-sided internally represented well-order with the exclusion of internally represented nonterminating strict transitive relations on inhabited subsets.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}