工。
一阶逻辑、完备定理倒是可以搞下去，但是吧……再搞下去就是哥德尔不完备了，这反而是对歌庭派的打击——而自己现在就是歌庭派。
所以能作的，也就只有高算术系统了。
辰风过了好一会才会过意，皱眉：“你好像……打算掺和这次论战啊？”
