? 1+1=2在目前的数学系统中是不能证的，它是一个经验总结的公理，其他一切定理由它推导而得。
前世1931年哥德尔证明：一个包含公理化的算术的系统中无法证明自己的无矛盾性，也就是说任何相容的形式体系无法证明自身相容性。
换句更简单的话来说：代数体系无法证明1+1=2，即自己不能证明自己。
因为，这里面不仅仅包括数学思想，更包括了逻辑学以及哲学。
不论前世还是今生，它都是数学界的终极问题，至今无人可证。
哪怕是“皮亚诺公理”也不行！
如果以后的超级科技是关于数学类的话，或许还有点希望，但现在的他毫无办法。
所以，艾克悲剧了。
你大爷的，有必要这样吗？宝宝还是小学生，你们居然给我出这么难的题。
你怎么不问我1+1等于几啊，这样我就会了。
……
艾克一边吐槽，一边望望四方。四方的观众们纷纷以期待的目光看着他。
艾克转头，又望望旁边。旁边爱丽丝姐姐正一脸微笑着答题，神情似乎非常轻松。
什么情况？！
难道我的爱丽丝姐姐也是