Airuoche herself was a master of pure mathematics, so she knew perfectly well what conditions were needed to complete that revenge-like line of thought.
She did not know whether Wang Qi himself had realized it... In truth, Wang Qi's past work already included part of the proof of "relative consistency." He had proven the proposition that "intuition and induction are consistent with intuition."
As for the remaining part, they could even propose it by retracing Wang Qi's former line of thought.
It was simply that this step required some understanding of intuitionism itself.
Because of Cloud Sovereign Ke Lanyin, the Gottingen Sect, which represented formalist mathematics, had always had a tense relationship with the Unnamed faction, which represented intuitionism. There were almost no School of Separation mathematicians within the Gottingen Sect, let alone School of Separation members who practiced intuitionism.
Yet He Wai'er was an exception.
He truly believed in intuitionist mathematics. Even though he revered his teacher more than anyone else, that did not change. He had never repented of this, nor did he mind that intuitionism had originated with the Gottingen Sect's enemy, Master of Calculation Pang Jialai.
To He Wai'er, this was "truth."
Meanwhile, through He Wai'er, members of the Gottingen Sect could learn what they needed to know during their everyday discussions.
It was even more convenient than reading books.
And if this step were completed, the Myriad Dharma Sect might suffer another disaster.
After this proof, the skeptics and opponents within the Gottingen Sect would have to face one question—if they intended to doubt the reliability of set theory, then they would have to doubt the reliability of the four arithmetic operations.
For the intuitionists of the Unnamed faction, it was even more terrifying. It meant that set theory's innate deficiencies could likewise be reflected