你回头再仔细读一下吧：）

我的原话：

问一个俗人的问题，Gödel 是不是用严格的数学证明了老子的  道可道。

＊更新二月后：

我感觉更准确表达应该是

Gödel 证明 说明了严格逻辑推理也遵守＂道可道 非常道＂的原则。