。

讨论的内容逐渐偏离了初衷，变成了数学。

抬头纹又问：“任何公理系统都有不能证明的东西这是真的吗？”

“公理自身不就是吗。”马哨随口道，没有多说。

想说清楚这个问题，需要的前置知识可不少，而且很多都是超前的，比如罗素悖论、哥德尔不完备定理，都是下个世纪的东西。

别说哥德尔不完备定理或者希尔伯特妄想中的数学大厦，就是开尔文“物理学大厦”的那个著名段