哥德尔证明用的是确切的数学语言（自然数和形式逻辑）何以没言尽? 其结论是公理系统的不完备，但证明本身无可争辩！反衬我们先

我们先贤留下来的“高深莫测”的，可以被后人任意解读的玄而又玄的东东。说好听了，就是“言不尽”的东方神秘主义。