他主要研究的东西不是集合论，只是最近有研究触及到集合论了。
研究集合论自然要研究连续统假设。
所以，在两个小时前，他发了一篇关于实数集合的帖子到StackExchange。
为了吸引流量，他特意写康托在集合论中有错误，他经常这么做，屡试不爽，每次都能吸引一大波人。
偶尔能吸引来某位大佬的留言，能让他对数学的研究豁然开朗。
修长的手指滑动着鼠标滚轴，浏览着网页。
“嗯？”他突然停住动作，直起身子，定眼看去。
“用罗素悖论证明实数集合不可数？”
他双眸闪烁，拿过一旁的纸笔计算。
片刻后，他兴奋的道：“就是如此，但他说的并不完美，还应该如此。”
他快速在叶非的留言下留言。
【感谢你的回复，让我找到灵感，但我觉得还应该进行如下补充。
假若x∈s成立，根据（3）式中对s中元素的要求……
……
假若x?s，由s=φ（x）得x?φ（x）……】
他刚发出不到十分钟，就收到回复。
高飞惊讶：“这么快？”
“看样子他也和我一样，守在电脑前，很期待答案吧！”
【感谢你的补充，但我也想对下面进行补充。
不论x是否属于s，都导致矛盾……】
高飞看完后笑道：“这想法很好。”
说完他又拿过纸笔计算，想了片刻后回复对方。
叶非看完后也想了片刻回复。
两人你来我往的回复，他们都不知道互相是谁，但此时却好似找到心灵上的契合。
高飞很兴奋，他很长时间没遇到在数学上给他灵感的人了。
“不知道是哪位大佬？”高飞心道，他脑海中描述出一位三四十岁的中年人，样貌模糊，不知是男是女。
他是天才，在麻省理工，理工科全球第一的学府，也很难遇到他这样的天才。
所以，以往同龄人中，几乎没人能给予他数学上的灵感，只有那些在数学上钻研多年的人，在和他讨论数学的时候，才会给他灵感。
所以，此时叶非在他脑海中是一名中年男子。
叶非也很兴奋，在读研这一年，可能他是导师学生中唯一保研上来的，所以导师对他是所有学生中最严格的。
这一年，让他看了很多文献。
所以，此时他的知识储备，在系统的帮助下，融会贯通，爆发出无数灵感。
许久，两人结束交谈，看着洋洋洒洒写一大篇的对话，高飞将所有数学内容都抄下来。
他给叶非后台留言，道：“互相关注一下吧！”
很难遇到在学术上能和他交流的，遇到这样的人，肯定要认识一下，以后再有数学上的问题，也可以讨论。
叶非：“ok！”
看在让自己任务提升50%的份上，叶非就同意他的提议了。
之后两人互相关注。