默地注视着宋楠楠。

宋楠楠倒是淡定：“不怎么看，这个讲的应该是友谊定律。”

啊，她说的更加让人一头雾水啦。

“大概是1995年的时候，英国数理逻辑学家西塔潘在关于拉姆齐二染色定理证明强度方面提出的一个反推数学领域的猜想。组合数学上呢，拉姆齐定理是要解决问题，要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。”

周伟直接喊停，满脸无辜道：“你们数学就研究这个？我怎么感觉一点儿也不高大上。”

宋楠楠丝毫不掩饰自己的diss：“数学是基础的基础，也是高级的高级。你想要高级的表达方法，可以，我现在就给你换个说法。拉姆齐二染色定理就是任何一个对边进行2-染色的含无穷个顶点的完全图都有一个单一染色的含有无穷个顶点的子完全图……”

周伟立刻拱手求饶：“大姐我错了，我一定是饿晕了所以才胡说八道，您千万别跟我一般见识。”

妈呀，这人说的是人话吗？为什么好像每个字他都认识，但组合起来他完全听不懂？

宋楠楠嗤笑：“给你高级的你又不要了。其实这个挺有意思的，跟二阶算数中的五个子系统相关。西潘塔主要是发现子系统wkl_0并不强于 rt 2 ，于是他猜测可能 rt 2 要强于 wkl 0 。他提出这个猜想之后，蛮多人研究过，我们有位老师也攻过，但到目前为止还是没有足以让人信服的论证。”