In the third year of the Yu Calendar, the School of Separation and the School of Separation reached a rare new consensus.
If a formula possessed precisely the same inner meaning in the calculational principles of both Schools of Separation, then that formula could be said to possess "absoluteness."
This "absoluteness" undoubtedly gave the School of Separation a kind of "hope."
To them, it was the final salvation and sole gospel they could find beneath the world-ending blow of the Calculation of the Incomplete.
The existence of "absoluteness" perhaps indicated that mathematical entities existed universally within different systems of mathematical axioms.
And if that was so, then the mathematical entity itself might possess the nature of "actual completeness."
This was their last hope.
Perhaps they needed to find a new path, one that would allow them to explore the nature of this mathematical entity.
On this point, Feng Luoyi and the Gottingen Sect were astonishingly aligned in purpose.
They even temporarily set aside some of their disagreements and explored this field together.
And during this process, Hai Ting True Person finally began to emerge into prominence.
Ever since the School of Separation proved that intuitionistic logic was no safer than the Gottingen Sect's classical logic, he had seemed like a different person—silent and reticent.
During the founding of Lijing, his tendency toward self-isolation grew even worse.
Yet that did not stop him from continuing to shine as a mathematician.
Inspired by Su Junyu's research into the continuum, he introduced Feng Luoyi's results on well-founded sets in the axioms of infinity and founded an entirely new school—the Constructivists.
Within a certain theory, every entity defined by finitely many symbols, extending through the height of the reflection sequence to encompass "the ordinal of all ordinals," formed a constructible class.
And the axiom