不是很明白“道可道，非恒道”的原则是指什么？

不过从逻辑上来说，“道可道，非恒道”是个全称命题：所有能说出来的道理，都不是“真理”。而不完备定理有两个限制：1. 在有些公理系统 2. 有些定理推不出。“有些”是“存在”命题，所以这两者不是一类命题。比如：“所有猫都不是黄色的”和“有些猫不是黄色的”是不一样的。后者成立，不能证明前者，存在和全称不是一个运算符。