这位主任还是挺会夸人的，虽然说不讲，但是该捧的地方，可一点都不少。
“今天给大家讲的是王一男教授跟伟大的格罗腾迪克先生合作完成的另外一项，我个人认为更加伟大的成果”，XX主任对着台下，“告诉我，是什么？”，
“G-不可描述定理”，台下异口同声的说，ERN的科学素养，那可是没的说。
“好吧，大家肯定看我这个老头子应该已经厌倦了，是时候把舞台让给年轻人了”，XX主任一语双关的说，看起来谣传他要退休的说法，不是空穴来风啊，
“下面，有请来自华国的，王一男教授”。
王一男站上讲台的时候，还是有点忐忑的，虽然是一个数学定理，但是这个定理在哲学还有认知科学上的含义远远超过了数学本身，在欧罗巴这样充满了宗教传统的地方，信口开河是很容易拉仇恨的，在这个节骨眼上，王一男可不想弄出点什么奇怪的事情来。
摇摇头，这种问题想也没用，尽可能注意吧，“这个定理其实更多的来自格罗腾迪克先生”，王一男说，
“我们知道，形式化系统是人类手里最强大的武器，抽象能力也是自然界赋予我们最强大的能力之一”，
“当原始人类从一块石头，两块石头，抽象出一和二概念的时候，人类就注定要成为整个蓝星的主宰”。
“过去几个世纪科技的发展，充分证明了我们这种抽象能力的强大，也证明形式化系统所具有的巨大的表达能力，以至于让我们觉得，利用形式化系统，我们可以描述和解决一切问题”。
“想不到这个时候的王一男教授，这么有魅力”，拿着话筒的华国电视台女主持人，看着王一男在讲台上侃侃而谈，两眼忍不住冒出了小星星。
“废话，我男人肯定什么时候都是最帅的”，一旁的周慧忍不住站了出来宣示主权。
“这段剪掉啊”，女主持人一边感叹，还不忘记跟摄像大哥吩咐一句，“剪不剪导演说了算”，摄像大哥在心里暗暗地说，“这么好的素材，我估计导演是舍不得剪的”。
王一男是没办法注意到台下这个小区域的一场暗战，说完强大的形式化系统，以及上世纪著名的希尔伯特纲领，王一男停顿了几秒钟，
“但是在上世纪初，天才的哥德尔改变了这一切，他提出了一种形式化系统的方法，证明了任何拥有足够表达能力的形式化系统，一定存在不能证明为真，也不能证明为假的命题”。
“华国数学家李文静，也是我的搭档，在哥德尔定理的基础上，发展出出一系列的数学方法，进一步证明了，在现实的形式化系统中，比如说程序设计语言，同样可以构造出一些无法证明的命题来”，
李文静之前将哥德尔系统研究的一些早期成果发表