However, in some non-standard model of [[Peano Arithmetic]], ∞ is treated as an actual number.
However, in some non-standard model of [[Peano Arithmetic]], ∞ is treated as an actual number.
+
In [[Zermelo-Fraenkel]] set theory, one must assert that an infinite set exists. This is known as the [[Axiom of Infinity]]. Constructive mathematicians and practicians of [[elementary technique]]s deny this axiom believing that the world and human thought are necessarily [[finite]].