“……”
傍晚，叶非在操场散步，同时思考接下来的研究。
他一共要写两篇论文，一篇是p=t，另一片是ZFC下p=t。
他只发表了一篇，是ZFC下p=t。
另一篇，他会在半个月内写好。
之所以先发表ZFC下p=t，是因为他之前将p=t的证明过程挂在Arxiv，他怕有人先他一步证明出极小塔问题。
所以才先发表ZFC下p=t。
当然，现在写的ZFC下p=t，只是初稿挂在Arxiv上，还要花几天时间，对论文多次修改，之后再发给期刊。
“既然选择集合论，那么我下面的研究还是应该继续集合论。”
“拓扑奥特猜想？超紧基数典型内模型问题？高层有限波雷尔等价关系中的两个问题？连续统势确定问题？图灵等价问题？还是带指数函数的实数理论的可判定性问题？”
这几个问题，是集合论中除了连续统假设外，剩下的所有问题。
叶非之后的研究，还是从这几个问题出发。
至于连续统假设问题，是最难的终极问题。
最起码这几个问题没解决，他不会对连续统假设下手。
这时，叶非的手机响起！
“喂，导师！”
“叶非，你来我办公室，告诉你一个好消息。”
“好的！”