在亨利·庞加莱晚年的时候，初出现🕟的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时🀥⚣📋代的直觉主义，就好像是东周王朝一样，空有一个“正统😦”名号，却没人在乎它了。
如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀🂉🍀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就🜅越发弱势了，几乎就是个🚐💠📑弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔🜤”来着？
到了那个时候，形式主义🔢和直🕥觉主义，也就只能搞搞应用了。
“数学根基”这🜙🂧👋种涉及九鼎🜅的正统之争，📃😋他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就算当初何外👇尔真的愿意给他一定的权限，他也🈥🀜♔没法🜤扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当🐇♛强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎🉀🄑么说，布尔🔢巴基学派，按照这个世界的分法，都算是离🔭🃵🜋宗学派了。
他是断然没想到，“类型论”这个典🕟型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋🃳🛳：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
赵清潭一愣👯🌙⛋，惊到：“难道说，算君的一本书稿，就能将一🙳个离宗弟子，洗成连宗弟子？这么危险？”
“这个……好吧，由嘉她小时候其实更喜欢应用方向来着……说不定她是我们当中最不在乎离宗连宗分野🈥🀜♔的人。”🞸😿王崎这么说道。
赵清潭却是不敢看🈒♕那算君🔢书稿了。他直接问王崎：“师妹到底想出了什么？”