>>299

Next, we provide the proof of the theorem2.

Existence and outline are equivalent, outline and wave (inclusion relation ⊇) are equivalent, and the inclusion relation and causal relation (logic →) are equivalent. Therefore, taking the physical space of this visible reality = existence as the foremost premise, everything that follows is represented. In other words, it may be said that the essence of this world is the visible space. Therefore, if the proof of every true proposition exists, it contradicts not existing in visible space. Thus, the theorem is demonstrated.

Corollary: For every true proof problem, as time is infinitely increased (with ∞^n, where n can be made as large as possible), the ratio of solved problems converges to 1.

Now, if we assume that the proposition does not hold, then for every problem, there exists a problem a whose algorithm does not match the class of the problem, and is of a smaller class.

At this time, it is possible to create a program A that generates problem a infinitely.

Let there be a program X that creates problems infinitely, and let r(X) be the ratio of the total problems solved by it.

In the case of A, even if we take n as large as possible with time being ∞^n, r(A) converges to 0.