 In the preceding set theories, the properties of the usual objects of mathematics accord closely with their properties as “intuitively” understood by most mathematicians (or lay people). (Strictly speaking, this is not quite true in NFU + Infinity without the additional assumption of Rosser’s Axiom of Counting, but the latter axiom (“\(\mathbf{N}\) is strongly cantorian”) is almost always assumed in practice).