在亨利·庞加莱🖋👀晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主🞗🔖🀤。
而大卫·🚠🔶希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号🌬🂉🌻，却没人在乎它了。
如果考虑到形式主义、直觉主义和逻辑主义⛛🛈三方混战🟋🛥的场面，或许用“蜀汉”和“东汉”来比喻更为合适📷？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的🚶🗺周王室后裔，说出去吧，🍟也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，🎜谁还在乎你区区“周王室后裔⛵🞭🗖”来着？
到🕸了那个时候，形式主义和直觉🞚🔪主义，也就只能搞搞应用了。
“🕸数学根基”这种涉及九鼎的正统🐅之争，他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就🗋🚂算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再🁧🟘，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管🍿🍲怎么说，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手😗🁝里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：♁🅚“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
赵清潭一愣，惊到：“难道说🎖👇，算君的一本书稿，就能将一个离宗弟子，洗成连宗弟子？这么危险？”
“这个……好吧，由嘉她小时候其实更喜欢应用方向来着♁🅚……说不定她是我们当中最不在乎离宗连宗分野的人。”王崎这么说道。
赵清潭却是不敢看那算君书稿了。🐅他直接问王崎：“师妹到底想出了🝅🈯什么？”