Consideration of Cantor's diagonal argument for actual infinity and potential infinity
Home > Quantum mechanics > Actual infinity and potential infinity
2018/10/5
Published 2015/6/26
Koji Sugiyama
The diagonal argument is a method to prove that a set of real numbers is a set we cannot count.
In this article, we consider Cantor's diagonal argument for actual infinity and potential infinity.
The actual infinity is infinity that does not change. It has been completed from the beginning. On the other hand, potential infinity is infinity that changes. It has never been completed. For modern mathematics, the actual infinity is an axiom. Therefore, the claim that "actual infinity does not exist" cannot obtain consent. Then, we separate mathematics to actual infinite mathematics and potential infinite mathematics in this article.
We express a set of n natural numbers as a finite set . In addition, we express a set of ndigit decimal numbers as a finite set . We express decimal numbers as binary numbers. The number of elements in the set is 2^{n}. Therefore, we express the finite set of decimal numbers those are greater than or equal to zero and less than one at the following table.
The number of lines of the table is 2^{n}.
The finite set of decimal numbers cannot be put into onetoone correspondence with the finite set .of natural numbers, if we apply the diagonal argument to this table, because the number 2^{n} of elements in the finite set of decimal numbers is greater than the number n of elements in the finite set of natural numbers.
However, the finite set of decimal numbers can be put into onetoone correspondence with the finite set .that has M = 2^{n} natural numbers.
We construct real numbers by changing the number of digits to the potential infinity.
The set of real numbers will be countable set. However, in modern mathematics, decimal numbers those have the potential infinite digits are not real numbers, because real numbers have actual infinite digits from the beginning. Then, we separate mathematics to actual infinite mathematics and potential infinite mathematics, and we define decimal numbers those have the potential infinite digits as real numbers of potential infinite mathematics.
In this article, we prove that the set of real numbers of actual infinite mathematics is not a countable set, and we prove that the set of real numbers of potential infinite mathematics is a countable set.
Table of contents
2. Actual infinite mathematics
2.1.2. Set of rational numbers
2.1.4. Real numbers defined by the Cauchy sequence
2.2.2. Pi defined by an infinite decimal number
2.2.3. Real numbers defined by an infinite decimal number
2.2.4. One defined by an infinite decimal number
2.3. Cantor's diagonal argument
3. Potential infinite mathematics
3.1.1. Finite set of natural numbers
3.1.2. Finite set of rational numbers
3.1.4. Real numbers defined by Cauchy finite sequence
3.1.5. Finite set of real numbers
3.1.10. Set of rational numbers
3.2.2. Pi defined by a finite decimal
3.2.3. The real number defined by the potential infinite decimal number
3.2.4. One defined by the potential infinite decimal number
3.3. Cantor's diagonal argument
6.1. The real number defined by Dedekind cut
6.2. The real number defined by the Cauchy sequence
6.4. Russell's axiom of infinity
6.5. Zermelo's axiom of choice
We consider Cantor's diagonal argument for actual infinity and potential infinity.
The actual infinity is infinity that does not change. It has been completed from the beginning. On the other hand, potential infinity is infinity that changes. It has never been completed.
In this article, we prove that the set of real numbers of actual infinite mathematics is not a countable set, and we prove that the set of real numbers of potential infinite mathematics is a countable set.
Historically, the following mathematicians supported the actual infinity.
 Dedekind (18311916)
 Cantor (18451918)
 Hilbert (18521943)
 Russell (18721970)
 Gödel (19061978)
Cantor wrote the following in a letter to G. Eneström in 1886.
There are substantial differences in terms of the potential and actual infinity. The former is variable finite, and it is growing over all finite limit beyond size. The latter is a selffixed constant, but it is quantum lying beyond all finite sizes. Despite the differences, one is unfortunately too often confused to think that they change.
On the other hand, the following mathematicians have objected to the actual infinity.
 Gauss (17771855)
 Cauchy (17891857)
 Kronecker (18231891)
 Poincare (18541912)
 Wyle (18851955)
Gauss wrote the following in a letter to Heinrich Schumacher in 1831.
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.
In addition, Poincare wrote the following in the work that was published in 1913.
There is no actual (given complete) infinity. The Cantorians have forgotten this, and they have fallen into contradiction. It is true that Cantorism has been of service, but this was when applied to a real problem whose terms were precisely defined, and then we could advance without fear.
However, in modern mathematics, the actual infinity is an axiom. Therefore, we cannot deny the actual infinity in the current mathematics. Then, we do not deny the actual infinity, but separate mathematics to one mathematics that assumes the actual infinity and the other mathematics that assumes the potential infinity. Therefore, in this article, we propose to separate the current mathematics the following two.
 Actual infinite mathematics
 Potential infinite mathematics
Actual infinite mathematics is mathematics that considers the actual infinity.
We define the set of natural numbers as follows.
(The set of natural numbers)


(2.1) 
We abbreviate the above set as follows.


(2.2) 
The set of natural numbers contains all natural numbers.
We define the set of rational numbers as follows.
(The set of rational numbers)


(2.3) 


(2.4) 
The set of rational numbers contains all rational numbers
We call the numbered subset of rational numbers the sequence.
(The sequence)


(2.5) 
We abbreviate the above sequence as follows.


(2.6) 
Cauchy defined the following Cauchy sequence in 1821.
(Cauchy sequence)
Let {a_{n}} is a sequence in the set of rational numbers, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
We read the character ε as epsilon. It means the error of Cauchy sequence.
Cauchy sequence {a_{n}} is a sequence in which the value hardly changes in the range of the error ε for a sufficiently large n.
Cantor defined a real number a by the Cauchy sequence a_{n} in 1872.
(Real numbers)
Let {a_{n}} is a Cauchy sequence, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
The real number a is a constant that does not depend on the error ε.
Cantor called real numbers the continuum.
We define the limit as follows.
(Limit)
Let {a_{n}} is a Cauchy sequence, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
We shortly express the above limit as follows.
(Limit)


(2.7) 
We abbreviate the above formula as follows.
(Limit)


(2.8) 
We define the set of real numbers by a real number a as follows.
(Set of real numbers)


(2.9) 
The set of real numbers contains all real numbers.
Cantor introduced a cardinal number as a general concept of the number of elements of a set.
We show the cardinal number of the set of natural numbers as follows.


(2.10) 
We read the symbol as alephzero. The symbol is the first letter of the Hebrew characters.
We show the cardinal number of the set of real numbers as follows.


(2.11) 
The countable set is the following set.
 The set we can number with natural numbers to all elements.
Georg Cantor proposed the countable sets in 1891.
We show examples of countable sets as follows.
 A set of natural numbers
 A set of rational numbers
We call the set that is not a countable set an uncountable set.
The set of real numbers is an uncountable set.
Cantor proved it by Cantor's diagonal argument.
We define the ratio of the circumference of a circle to its diameter, pi by the following series.
(Leibniz series)


(2.12) 
The above π is a constant whose infinite digits have been determined.
We define pi by the following infinite decimal number.
(Pi)


(2.13) 
The above π is a constant whose infinite digits have been determined.
We define real numbers as infinite digits decimal numbers.
We show an example of a real number.
(An example of a real number)


(2.14) 
The above real number a is a constant.
We think the following sequence {a_{n}} that each digit is gradually determined.


(2.15) 


(2.16) 


(2.17) 


(2.18) 
The limit of this sequence {a_{n}} is the real number one.


(2.19) 
We abbreviate the above formula as follows.


(2.20) 
The real number one is a constant.
In this section, we prove that the set of real numbers is not a countable set in the Cantor's diagonal argument. Georg Cantor first used the diagonal argument in 1891.
The diagonal argument is a proof by contradiction.
We assume the following proposition as assumption of the proof by contradiction.
 A set of real numbers is a countable set.
We express the region that is greater than or equal to zero and less than one as the symbol (0, 1).
I 1 less than the real number of the section and (0, 1).
The region (0, 1) is a part of the set of real numbers. Therefore, if the region is not a countable set, the set of real numbers is not a countable set. Then we target the region (0, 1) in order to proceed with the proof.
By assumption, we can number all the elements in the region (0, 1).


(2.21) 
We express these real numbers by the following decimal numbers.


(2.22) 
Specifically, we show it as follows.


(2.23) 
We can express the same value by the different forms for decimal numbers as follows.


(2.24) 
We adopt the rule that we always express the form 0.0999… of the righthand side in the above case.
Here, we make the following new real number.


(2.25) 
We determine the digit b_{n} by the following rule.
(Rule)
Digit b_{1} of the real B is 1 if the digit a_{11} of the real A_{1} is even, and 2 if it is odd. Digit b_{2} of the real B is 1 if the digit a_{21} of the real A_{2} is even, and 2 if it is odd. Digit b_{3} of the real B is 1 if the digit a_{31} of the real A_{3} is even, and 2 if it is odd. ... Digit b_{n} of the real B is 1 if the digit a_{n}_{1} of the real A_{n} is even, and 2 if it is odd. ... 
The digits a_{11, }a_{22,…}are arranged in a diagonal line as follows.


(2.26) 
Specifically, we show it as follows.


(2.27) 
In the above example, the real number B becomes the following decimal number.


(2.28) 
There is the real number B in the region (0, 1).
However, there is not the real number B in the above table, because the following proposition holds.
(Proposition)
Digit b_{1} of the real B is different from the digit a_{11} real A_{1}. Digit b_{2} of the real B is different from the digit a_{21} real A_{2}. Digit b_{3} of the real B is different from the digit a_{31} real A_{3}. ... Digit b_{n} of the real B is different from the digit a_{n}_{1} real A_{n}. ... 
The real B does not have the digit 9 that continues like a number 0.999… because any digit of the real B is one or two.
It is contrary to the assumption that the real B does not exist in the above table.
This is contradiction. Therefore, the assumption is incorrect because of the proof by contradiction. This proof assumed the following.
 A set of real numbers is a countable set.
The above assumption is incorrect. Therefore, the set of real numbers is not a countable set.
(Q.E.D.)
Potential infinite mathematics is mathematics that considers the potential infinity.
We define the finite set of natural numbers as follows.
(The finite set of natural numbers)


(3.1) 
We call the number of elements of a finite set the order.
We show the order of a finite set of natural numbers as follows.


(3.2) 
We define the finite set of rational numbers as follows.
(The finite set of rational numbers)


(3.3) 


(3.4) 
We show the order of a finite set of rational numbers as follows.


(3.5) 
We call the numbered finite subset of rational numbers a finite sequence.
(The Finite sequence)


(3.6) 
In potential infinite mathematics, we define the Cauchy finite sequence as follows.
(Cauchy finite sequence)
Let {a_{1},a_{2},a_{3},…,a_{Ｍ}} is a finite sequence in the set of rational numbers, and let M = 2^{N}, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
The natural number is not uniquely determined for the error ε. However, we can choose a certain appropriate natural number m for the above condition. This natural number m depends on the error ε. Then, we interpret this natural number as a function of the error ε.


(3.7) 
Therefore, we interpret the elements a_{m} of the sequence as a function of the error ε.


(3.8) 
We call the above function as a potential infinite real number.
We define potential infinite real numbers as follows.
(Potential infinite real numbers)
Let {a_{1},a_{2},a_{3},…,a_{Ｍ}} is a finite sequence in the set of rational numbers, and let M = 2^{N}, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
We call potential infinite real numbers real numbers.
We abbreviate it as follows.
(The real number)


(3.9) 
We define the finite set of real numbers as follows.
(The finite set of real numbers)


(3.10) 


(3.11) 
We show the order of a finite set of real numbers as follows.


(3.12) 
We consider the following special Cauchy finite sequence.
(The special Cauchy finite sequence)
Let {a_{1},a_{2},a_{3},…,a_{Ｍ}} is a finite sequence in the set of rational numbers, and let M = 2^{N}, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n those satisfy
the inequality
holds. 
We define the potential infinitesimal by the above special Cauchy finite sequence.
(The potential infinitesimal)


(3.13) 
We call the potential infinitesimal the zero.
We abbreviate it as follows.
(Zero)


(3.14) 
We consider the following special Cauchy finite sequence.
(The special Cauchy finite sequence)
Let {a_{1},a_{2},a_{3},…,a_{Ｍ}} is a finite sequence in the set of rational numbers, and let M = 2^{N}, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n those satisfy
the inequality
holds. 
We define the potential infinity by the above special Cauchy finite sequence.
(The potential infinity)


(3.15) 
We call the potential infinity the infinity.
We abbreviate it as follows.
(Infinity)


(3.16) 
We define the potential infinite limit by the potential infinitesimal and the potential infinity.
(The potential infinite limit)


(3.17) 
We call the potential infinite limit the limit.
We abbreviate it as follows.
(Limit)


(3.18) 
We define the potential infinite set of natural numbers as follows.
(The potential infinite set of natural numbers)


(3.19) 
We call the potential infinite set of natural numbers as the set of natural numbers.
We abbreviate it as follows.
(The set of natural numbers)


(3.20) 
We abbreviate the set of natural numbers as follows.
(The set of natural numbers)


(3.21) 


(3.22) 
We define the potential infinite set of rational numbers as follows.
(The potential infinite set of rational numbers)


(3.23) 
We call the potential infinite set of rational numbers as the set of rational numbers.
We abbreviate it as follows.
(The set of rational numbers)


(3.24) 
We abbreviate the set of rational numbers as follows.
(The set of rational numbers)


(3.25) 


(3.26) 
We define the potential infinite sequence as follows.
(The potential infinite sequence)


(3.27) 
We call the potential infinite sequence as the sequence.
(The Sequence)


(3.28) 
We abbreviate the sequence as follows.
(The sequence)


(3.29) 


(3.30) 
We define the potential infinite set of real numbers as follows.
(The potential infinite set of real numbers)


(3.31) 
We call the potential infinite set of real numbers as the set of real numbers.
We abbreviate it as follows.
(The set of real numbers)


(3.32) 
We abbreviate the set of real numbers as follows.
(The set of real numbers)


(3.33) 


(3.34) 
The potential countable set is the following set.
 The set we can number with the potential infinite set of natural numbers to all elements.
We show examples of the potential countable sets as follows.
 A set of natural numbers
 A set of rational numbers
 A set of real numbers
In potential infinite mathematics, we call a potential countable set as the countable set.
We consider the following sequence {π_{n}}.
(Leibniz sequence)


(3.35) 


(3.36) 


(3.37) 
This sequence satisfies the following definition of Cauchy finite sequence.
(Cauchy finite sequence)
Let {π_{1},π_{2},π_{3},…,π_{Ｍ}} is a finite sequence in the set of rational numbers, and let M = 2^{N}, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
We define the potential infinite pi by the Cauchy finite sequence.
(The potential infinite pi)


(3.38) 
We call the potential infinite pi pi.
We abbreviate it as follows.
(Pi)


(3.39) 
The above pi is a function of the error ε.
Finite digits have been determined.
We think the following sequence {π_{n}} that each digit is gradually determined.


(3.40) 


(3.41) 


(3.42) 


(3.43) 


(3.44) 
We call the element π_{n} of the above sequence the finite pi.
We show the potential infinite pi as follows.
(The potential infinite pi)


(3.45) 
We abbreviate the above equation as follows.


(3.46) 
The potential infinite pi π (ε) is not a constant.
It is a function depending on an error ε.
Finite digits of the potential infinite pi have been determined.
We abbreviate the potential infinite pi as follows.


(3.47) 
Therefore, we have the following equation.


(3.48) 
In addition, we call the following real number the actual infinite pi.
(The actual infinite pi)


(3.49) 
The above value is not a variable quantity.
It is a constant quantity not depending on the error ε.
The actual infinite digits of the actual infinite pi have been determined.
We express the finite decimal number as the decimal number of finite digit binary as follows.
(The finite decimal number)


(3.50) 


(3.51) 
The natural number n is even and we define m as follows.


(3.52) 
We express negative numbers as the two's complement.
We define the potential infinite decimal number as follows.
(The potential infinite decimal number)


(3.53) 
The potential infinite decimal number a (ε) is a function depending on the error ε.
We call finite decimal numbers finite real numbers.
We call potential infinite decimal numbers potential infinite real numbers.
We abbreviate a potential infinite real number as follows.
(A potential infinite real number)


(3.54) 
We call potential infinite real numbers real numbers.
We abbreviate it as follows.
(The real number)


(3.55) 
We define actual infinite real numbers as follows.
(Actual infinite real numbers)


(3.56) 
An actual infinite real number a_{∞} is a constant not depending on the error ε.
We think the following sequence that each digit is gradually determined.


(3.57) 


(3.58) 


(3.59) 


(3.60) 


(3.61) 
We define a potential infinite real number a (ε) by a potential infinite limit of this sequence.


(3.62) 
A potential infinite real number a (ε) is not a constant.
It is a function depending on the error ε.
We abbreviate this formula as follows.


(3.63) 
We abbreviate the above equation as follows.


(3.64) 
We abbreviate the above equation as follows.


(3.65) 
Therefore, in potential infinite mathematics, a potential infinite real number one is not a constant. It is a function depending on the error ε.
In order to indicate that a potential infinite real number one is a function depending on the error ε explicitly, we express it as follows.
(An infinite real number)


(3.66) 
We express the potential infinite real number n as follows.
(The potential infinite real number)


(3.67) 
We define the finite set of finite real numbers as follows.
(The finite set of finite real number)


(3.68) 


(3.69) 
We call the finite set of finite real numbers the finite set of real numbers shortly.
We define the potential infinite set of the potential infinite real numbers by the following formula.
(The potential infinite set of the potential infinite real numbers)


(3.70) 
We call the potential infinite set of the potential infinite real numbers the set of real numbers shortly.
We abbreviate the set of real numbers as follows.


(3.71) 
The potential infinite set of finite real numbers does not exist, but a finite set of potential infinite real numbers exists.
For example, the set of finite real numbers is not potential infinite set, because the order of the set of finite real numbers is 2^{n}.
On the other hand, we show an example of a finite set of the potential infinite real number as follows.
(The finite set of the potential infinite real number)


(3.72) 
In this section, we prove that the set of real numbers is a countable set by the Cantor's diagonal argument.
The diagonal argument is a proof by contradiction.
We assume the following proposition as assumption of the proof by contradiction.
 We can number the finite set of real numbers.
We express a finite set of real numbers as follows.


(3.73) 
The natural number n is even, and we define M as follows.


(3.74) 
We express the finite real number as the decimal numbers of binary as follows.


(3.75) 
Specifically, we show it as follows.


(3.76) 
In the finite real numbers, we cannot express the same value of the decimal number by the different forms. We show an example as follows.


(3.77) 
Here, we make the following new finite real number.


(3.78) 
We determine the digit b_{n} by the following rule.
(Rule)
Digit b_{1} of the real B is 1 if the digit a_{11} of the real A_{1} is even, and 2 if it is odd. Digit b_{2} of the real B is 1 if the digit a_{21} of the real A_{2} is even, and 2 if it is odd. Digit b_{3} of the real B is 1 if the digit a_{31} of the real A_{3} is even, and 2 if it is odd. ... Digit b_{n} of the real B is 1 if the digit a_{n}_{1} of the real A_{n} is even, and 2 if it is odd. ... 
The digits a_{11, }a_{22,…}are arranged in a diagonal line as follows.


(3.79) 
Specifically, we show it as follows.


(3.80) 
In the above example, the real number B becomes the following decimal number.


(3.81) 
There is the real number B in the set {A_{1}, A_{2}, A_{3},…, A_{n}}, because the following proposition holds.
(Proposition)
Digit b_{1} of the real B is different from the digit a_{11} real A_{1}. Digit b_{2} of the real B is different from the digit a_{21} real A_{2}. Digit b_{3} of the real B is different from the digit a_{31} real A_{3}. ... Digit b_{n} of the real B is different from the digit a_{n}_{1} real A_{n}. ... 
Indeed, the finite real B is not in the set {A_{1}, A_{2}, A_{3},… , A_{n}}. Since this is a contradiction, it seems that the following assumption is incorrect.
 We can number the finite set of real numbers.
However, the finite real number B is in the set {A_{n}_{+1},…, A_{M}}. Here, M is 2^{n}. Therefore, it is not actually a contradiction.
We cannot number the finite set of real numbers by the set of natural numbers. However, we can number the finite set of real numbers by the set of natural numbers.
In potential infinite mathematics, a correct proposition for a finite set is a correct proposition for a potential infinite set, because the order of a potential infinite set is the order of a finite set depending on the error ε. Therefore, the following proposition is satisfied.
 We can number the set of real numbers.
Thus, the set of real numbers is a countable set.
(Q.E.D.)
The figure of a finite set of real numbers is not a square. It is a rectangle. The order of the set of ndigit real numbers is 2^{n}. This is a vertical rectangle.
If the figure of a finite set of real numbers is a square, we can draw a diagonal line having an angle of 45 degrees. However, if the figure of a finite set of real numbers is a rectangle, we cannot draw a diagonal line having an angle of 45 degrees.
This fact does not change even in the potential infinite limit.
I think that it is a problem to draw a diagonal line having an angle of 45 degrees on the rectangle in the Cantor's diagonal argument.
In this article, we consider the Cantor's diagonal argument in actual infinite mathematics and potential infinite mathematics. We show the conclusion as follows.
 The set of real numbers is not a countable set in actual infinite mathematics.
 The set of real numbers is countable set in potential infinite mathematics.
Dedekind defined the real number in the Dedekind cut in 1872. [1]
We divide the set of rational numbers to a set A and a set B of rational numbers.


(6.1) 
We suppose that we have the following inequality for any element a of the set A and any element b of the set B,


(6.2) 
We call the cut (A, B) a Dedekind cut.
We define the real number x by Dedekind cut (A, B) as follows.
(Dedekind cut)
For any element a in the set A, there exists an element x such that for all elements b in the set B that satisfies

The real number of actual infinite mathematics is a fixed cut (A, B).
The real number of potential infinite mathematics is a pair of variables (a, b).
Cantor defined a real number by the Cauchy sequence in 1872.
(The real number)
Let {a_{n}} is a sequence in the set of rational numbers, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n that satisfies
the inequality
holds. 
The real number of actual infinite mathematics is a constant not depending on the error ε.
The real number of potential infinite mathematics is a variable a_{n} depending on the error ε.
Peano proposed the following axioms in 1891.
(1) 1 is a natural number.
(2) If a is a natural number, a+1 is a natural number.
(3) If a+1=1, a is not a natural number.
(4) If a+1=b+1, a=b.
(5) If a set A satisfies the following two conditions, then any natural number is in the set A,
[1] 1 is in A.
[2] If a is in A, a+1 is in A.
In actual infinite mathematics, the above set A is fixed. It contains all natural numbers from the beginning.
In potential infinite mathematics, the order of the above set A is a variable A.
Russell introduced the axiom of infinity in 1904.
The axiom of infinity ensures the presence of the following infinite set A.
(Axiom of infinity)
There exists a set A satisfying the following conditions.
 The empty set is in the set A.
 For any element a of the set A, the union
exists as an element of the set A.

We can express it succinctly as follows.


(6.3) 
In actual infinite mathematics, an infinite set A is fixed. It contains all elements from the beginning. We call this axiom of infinity of actual infinite mathematics the axiom of actual infinity.
In potential infinite mathematics, the order of an infinite set A is a variable A. We call the axiom of infinity of potential infinite mathematics the axiom of potential infinity.
In Cantor's diagonal argument, we express real numbers as the following decimal numbers.


(6.4) 
We interpret the real number A_{n} as a set A_{n}.


(6.5) 
We define a family as follows.


(6.6) 
The set A_{n} is in the above family.


(6.7) 
When we give the number n of the set A_{n},
We define a function f (A_{n}) having the following rules of choice.
(The rules of choice)
The function f (A_{1}) choose a_{11} in the set A_{1}. The function f (A_{2}) choose a_{22} in the set A_{2}. The function f (A_{3}) choose a_{33} in the set A_{3}. ... The function f (A_{n}) choose a_{nn} in the set A_{n}. ... 
We call this function the choice function.
(Choice function)


(6.8) 
It is not a complete description, but we call the following proposition the axiom of choice.
(The axiom of choice)
For any set A_{n}, there exists a choice function f
for any element a_{nn} that satisfies

We can express it succinctly as follows.


(6.9) 
Zermelo published axiom of choice in 1904.
Speaking inaccurate, the axiom of choice is an axiom that guarantees the existence of a choice function for any set.
In actual infinite mathematics, all rules of choice have been completed from the beginning. We call the axiom of choice of actual infinite mathematics the axiom of actual infinite choice.
In potential infinite mathematics, the number of rules of choice depends on the number of the groups A_{n}. We call the axiom of choice of potential infinite mathematics the axiom of potential infinite choice.
In potential infinite mathematics, we defined the potential infinite real number a (ε) as follows.
(The potential infinite real number)
Let {a_{1},a_{2},a_{3},…,a_{Ｍ}} is a finite sequence in the set of rational numbers, and let M = 2^{N}, and for any positive rational number ε, there exists a natural number N such that for all natural numbers n and m those satisfy
the inequality
holds. 
Therefore, the potential infinite real number a (ε) has the uncertainty of error ε. This is similar to the uncertainty of the position and momentum in quantum mechanics. Then, we construct a new mathematics, quantum number theory by extending potential infinite mathematics.
We show the natural number as follows.
(The natural number)


(7.1) 
We define the natural generating function by complex number z.
(The natural generating function)


(7.2) 
We abbreviate the natural generating function as follows.
(The natural generating function)


(7.3) 
We obtain the natural derived function by differentiating the natural generating function stimes.
(The natural derived function)


(7.4) 
We abbreviate the natural derived function as follows.
(The natural derived function)


(7.5) 
We define the mean natural derived function by averaging it in contour integral.
(The mean natural derived function)


(7.6) 
We interpret the above averaging as quantization. Then, we call the mean natural derived function the quantum natural derived function.
We call the quantum natural derived function the quantum natural function shortly.
We abbreviate it as follows.
(The quantum natural function)


(7.7) 
We define quantum natural number as follows.
(The quantum natural number)


(7.8) 
The quantum natural number has the uncertainty of the error ε.
We define the potential infinite sum of the quantum natural numbers as follows.


(7.9) 
Then, the potential infinite sum of quantum natural numbers becomes 1/12.


(7.10) 
We abbreviated the above equation as follows.


(7.11) 
Therefore, we interpret that the above strange result in the zeta function is a special phenomenon of quantum mathematics.
In writing this article, I thank from my heart to TY and NS who gave valuable advice to me.
[1] 
Dedekind, Richard, Stetigkeit und irrationale Zahlen (Continuity and irrational numbers), vol. 11, 1912, p. 24. 