注意我说的是“描述”而不是定义，否则可能又会有歧义了。在我看来，实验就是实践的一种。邓小平的这句话没有实际意义，因为他说实践，但没有说什么样的实践，它只有政治意义。

实际中谈到符合逻辑，那就必须谈符合什么样的逻辑，不同的逻辑系统可能会有不同的结果。

至于说到公理问题，人们在选择公理的时候，会选择他们认为是正确的东西，但真正的公理没有逻辑可言。
举个例子，以前我上学的时候，教授讲到Axiom of Choice。 这是在一般托普中常用的公理，但更早以前数学家们甚至没有意识到自已在不知不觉中用这么个公理。后来发现了，开始的时候，视之为洪水猛兽（夸张了^_^）， 因为大家还是没有意识到这是个公理性质的东西，结果有些人就想证明它，或者寻找它的替代品。结果到最后数学家们才发现，他们在循环论证。Axiom of Choice， Zorn's lemma, well-ordering principal是等价的， 尤其那个 Zorn's lemma， 根本就不是lemma,而是公理。

最后说到真理，大学时候学马哲，讲到人类得到的是相对真理，绝对这里存在但人类只能无限接近。在我看来，正确的科学理论就是相对真理。