046.证明论计划！（2/3）

卢格安点点头。

“悖论之所以出现，是因为逻辑学在数学上存在冲突。如果我们把数学彻底形式化，为全部的数学提供一个安全的理论基础，重新制定规则，那么一切的悖论问题都将迎刃而解。”

“而这个计划，我将它称为‘证明论计划’！”希尔伯特补充道。

卢格安说的很简单，但伊蕾亚也不是愚蠢的人，大脑一阵飞快转动后，便明白了其中的原理。

伊蕾亚紧锁着柳眉，疑惑地看向希尔伯特：“可是这要如何实现？逻辑学吗？”

“不，这是单纯的数学。”希尔伯特笑着摇摇头，视线移向卢格安，似乎想要考考卢格安。

注意到希尔伯特考校的视线，卢格安轻咳一声，说出了一个名词。

“元数学。”

在听到“元数学”这个单词后，希尔伯特看向卢格安的视线愈加欣赏，而伊蕾亚则依旧满脸疑惑。

“元数学？那又是什么？”

卢格安挠挠头，刚想开口解释，就被希尔伯特拍拍手打断了。

“好了，亨莉叶塔小姐，我们在这个话题上讨论的太多了。你应该先选择一下你的课题，这将陪伴你整个夏天。”

被打断的伊蕾亚轻抿着红唇，显然“元数学和公理化证明”的事情依旧如鲠在喉。

“希尔伯特先生，您之前说我们可以自由地选择研究所的全部课题，对吧？”

希尔伯特点点头：“是这样没错。”

“那我要选您的课题！”伊蕾亚仰起头，目光炯炯有神地直视着希尔伯特。

伊蕾亚意料之外的选择让希尔伯特愣了愣神。

“亨莉叶塔小姐，你要知道，我现在研究的课题对你们来说是很难的。”

“这无所谓！”伊蕾亚昂起纤细的脖颈，不服输地说道：“我有一夏天的时间去学习！”

“这……”

希尔伯特一时无言以对，那种搬起石头砸到自己脚的感觉，让希尔伯特颇感蛋疼……

研究课题是可以随便选没错。但自己的研究已经不仅仅是数学问题了，它涉及数学，逻辑学和哲学等多个分支。

这种层次的学问，只有那些数学大师才能勉强涉足。

而伊蕾亚说到底还是物理学者，让一个物理学者去研究高深的数学问题，这不是天方夜谭吗？

就算爱因斯坦亲至，希尔伯特都可以毫不客气地把他赶出去。

但眼前这情况，自己的话都放出去了，哪还有收回去的道理？

最终，实在没办法的希尔伯特，将视线求助似的看向卢格安。希望卢格安能帮忙说两句话，打消伊蕾亚这个大胆的想法。

卢格安注意到希尔伯特求助的视线，沉吟了许久，突然露出一个灿烂的笑容。

“这不是挺好的嘛，如果可以，我也申请加入您的研究组。”

“嗯？”

希尔伯特疑惑地看向卢格安，那眼神似乎在说：伊蕾亚没了解过元数学，不知道天高地厚也就算了。你卢格安·海因里希明明知道这其中的难度，为什么还要陪着那丫头瞎闹？

而卢格安则淡定地回视过去，眼神回答道：不试试又怎么知道行不行呢？

希尔伯特的脸瞬间黑了几度。

他感觉卢格安这是在报复自己，但是没有证据……

最终，无可奈何下，希尔伯特长叹了口气，点头答应下来。

伊蕾亚露出一个灿烂的笑容，好像得到自己心爱娃娃的小女孩般，天真烂漫，一笑百媚。