“这是……非良基集合的研究?”
良基集合,是“断自指”这一条思路之上的伟大成果之一。
不管是“无穷公理”、“传递模型”还是“可构造类”,都与良基集合有关。
按理来说,苏君宇自身也是“良基集合”研究的受益者。
但是,他现在却抛出了……
“非良基集合的研究……”薄笑风喃喃自语:“这是在干什么啊……”
冯落衣的“良基集合”,实际上就是将“不是良基集合的集合”,从集合论中“开除出去”,也就是“开除集合籍”的意思。
这些都是不被承认的东西。
薄筱雅也惊了:“基派这是要……内讧?”
陈由嘉和苏君宇都属于基派。
但陈由嘉完成的型论,可是与冯落衣的“无限公理”平行的,也算是受益于“良基集合”吧。
而苏君宇这是……
“关系铁……是这样吗?”薄笑风热泪盈眶:“老苏,承你人情!”
薄筱雅瞬间拉到地步。
在那里,苏君宇给出了新的提示。
“注意雪国派的研究。”