The continuum actually consists of infinitely many indivisibles (G. Galilei [9, p. 97]) I am so in favour of actual infinity. (G.W. Leibniz [9, p. 97]) However, the majority of pre-modern thinkers agreed with the well-known quote of Gauss: I protest against the use of infinite magnitude as something completed, which is never permissible in mathematics. Infinity is merely a way of speaking, the true meaning being a limit which certain ratios approach indefinitely close, while others are permitted to increase without restriction. (C.F. Gauss [in a letter to Schumacher, 12 July 1831]) Modern era Actual infinity is now commonly accepted. The drastic change was initialized by Bolzano and Cantor in the 19th century. Bernard Bolzano, who introduced the notion of set (in German: Menge), and Georg Cantor, who introduced set theory, opposed the general attitude. Cantor distinguished three realms of infinity: (1) the infinity of God (which he called the "absolutum"), (2) the infinity of reality (which he called "nature") and (3) the transfinite numbers and sets of mathematics. A multitude which is larger than any finite multitude, i.e., a multitude with the property that every finite set [of members of the kind in question] is only a part of it, I will call an infinite multitude. (B. Bolzano [2, p. 6]) Accordingly I distinguish an eternal uncreated infinity or absolutum, which is due to God and his attributes, and a created infinity or transfinitum, which has to be used wherever in the created nature an actual infinity has to be noticed, for example, with respect to, according to my firm conviction, the actually infinite number of created individuals, in the universe as well as on our earth and, most probably, even in every arbitrarily small extended piece of space. (Georg Cantor) (G. Cantor [8, p. 252]) The numbers are a free creation of human mind. (R. Dedekind [3a, p. III]) One proof is based on the notion of God. First, from the highest perfection of God, we infer the possibility of the creation of the transfinite, then, from his all-grace and splendor, we infer the necessity that the creation of the transfinite in fact has happened. (G. Cantor [3, p. 400]) Cantor distinguished two types of actual infinity; the transfinite and the absolute, about which he affirmed: These concepts are to be strictly differentiated, insofar the former is, to be sure, infinite, yet capable of increase, whereas the