丘成桐教授在《数学史与数学教育》一文中说：“欧几里得的公理就清楚地指出，一切平面几何定理都可以由少数公理推出。”

这里有些问题，数学和科学虽然使用自然语言，但需要严谨的逻辑。

欧几里得几何逻辑体系基于公设。那几条公设不包含无理数，这是他成功的关键。他当然不可能指出这些公设能推出平面几何的一切定理。

这是数学逻辑的关键问题。所以需要特别关注。