 Models of NFU can have a “finite” (but externally infinite) universe if the ordinal \(\alpha\) in the construction is a nonstandard natural number. If \(\alpha\) is infinite, the model of NFU will satisfy Infinity. If the Axiom of Choice holds in the model of Zermelo-style set theory, it will hold in the model of NFU.