Abstract:Bolzano and Cantor were the first mathematicians to make significant attempts to measure the size (numerosity) of different infinite collections. They differed in their methodological approaches, with Cantor's prevailing. This led to the foundation of the theory of sets as well as Cantor's transfinite arithmetic. This paper argues that Bolzano's conjecture is correct and that Euclid's principle, 'that the whole is greater than a part', should be considered as a necessary condition for the quantification of infinite sets (rather than bijection). Cantor had concluded that the rational and the algebraic numbers were of the same size as the natural numbers, whilst, in contrast, the real numbers were a larger set. Using Cantor's methods it is shown in this paper that the rational numbers are of larger size than the natural numbers, thus showing that bijection is not a reliable measure of the size of infinite sets. It is also concluded, using mathematical induction, that different 'countably' infinite sets can have various different sizes. The implications for theorems using bijection as a measure of size is then briefly discussed. There already exist new methods of measuring numerosity, based on Euclid's principle, which may develop a consistent system of infinite arithmetic.

Problems on infinite sumset configurations in the integers and beyond

Infinite Sumsets in Sets with Positive Density

Elementary submodels, coding strategies, and an infinite real number game

Problems in additive number theory, VI: Sizes of sumsets

On the structures of subset sums in higher dimension

Inverse problems for sumset sizes of finite sets of integers

Natural Number Arithmetic in the Theory of Finite Sets

Counterexamples to generalizations of the Erdős $B+B+t$ problem

UNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

Finding product sets in some classes of amenable groups

Banishing divergence Part 1: Infinite numbers as the limit of sequences of real numbers

Infinite unrestricted sumsets of the form $B+B$ in sets with large density

On arithmetic sums of Cantor-type sequences of integers

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions

Sums of singular series along arithmetic progressions and with smooth weights

Monochromatic configurations induced from the set of sums of two squares

Zero-sum Problems for Abelian P-Groups and Covers of the Integers by Residue Classes

On universal sets and sumsets

A SURVEY OF ZERO-SUM PROBLEMS ON ABELIAN GROUPS

Bolzano's Conjecture: Measuring the Numerosity of Infinite Sets

On additive complement with special structures