Wide‐range co‐existence of potential and actual infinities in modern mathematics

The paper aims to introduce the concepts of potential and actual infinities.

A conceptual approach is taken.

It is a common belief that both Cantor and Zermelo completely employed the thinking logic of actual infinities in the naive and modern axiomatic set theory, and that Cauchy and Weierstrass completely applied that of potential infinities in the theory of limits. However, when it explores in depth the essential intensions of both potential and actual infinities, and after sufficiently understanding the difference and connections between the infinities and revisiting the realistic situations on how the concept of infinities has been employed in modern system of mathematics, it is discovered that in set theory, the thinking logic of actual infinities has not been applied consistently throughout, and that in the theory of limits, the idea of potential infinities has not been utilized consistently throughout, either. As for those subsystems involving the concepts of infinities of modern mathematics, they generally contain both kinds of infinities at the same time. As a matter of fact in modern mathematics and its theoretical foundation, one only needs to slightly analyze and dig deeper, one will see the reality that the thinking logics and method of analysis of employing both kinds of infinities are everywhere implicitly.

The authors show the first time in history that the system of modern mathematics is not consistent as what has been believed.