大的题目啊，也不在乎这一天两天的了。
统计，这个是得搞，但是概率没起来，统计也起不来，所以只能说“学一学”——顺便让辰风这个东家听着，表示我还是一个好员工。
一阶逻辑、完备定理倒是可以搞下去，但是吧……再搞下去就是哥德尔不完备了，这反而是对歌庭派的打击——而自己现在就是歌庭派。
所以能作的，也就只有高算术系统了。
辰风过了好一会才会过意，皱眉：“你好像……打算掺和这次论战啊？”