On this day, the heavens wept bitterly.
—At least, that was how the Mathematicians of the School of Separation saw it. After all, Shen Province was such a vast planet; there was always some place where it was raining.
There were even rumors that the Arithmetic Lord, far beyond the Star Sea, had coughed up blood when he learned this news.
"'We have already obtained the theoretical translation function between intuitionist logic and Gottingen Sect logic. In truth, intuitionist logic is merely a proper subset of Gottingen Sect logic. For these two mathematical principles that possess a proper-subset relationship, we can employ similar methods to handle the newly added axiom of set theory.'" After True Person Hai Ting read this passage aloud, he could not help but burst into loud sobs.
He had lost. Lost utterly and completely.
This was an unimaginable "defeat."
Even the Arithmetic Lord did not deny that set theory was part of mathematics. He merely regarded it as the most meaningless part of mathematics, rather than the core foundation of mathematical principles.
This was the conflict in ideals between the Arithmetic Lord and Gottingen.
The enmity between the Arithmetic Lord and Gottingen ran as deep as the sea; it was not merely a matter concerning Ke Lanyin.
In other words, for most Mathematicians of the School of Separation, set theory and logic could also be regarded as parts of "mathematics."
Arithmetic Lord Xiboche was an expert in this field. His logical proofs, which had left King Ge Dan awestruck, could likewise be considered mathematics.
This point was difficult to ignore.
And just as the history of mathematics of the Ji Sect said, the struggle between the School of Separation and the School of Separation was a matter of using one's own foundations to accommodate the other's