因为不包含皮亚诺公理，但当然也不能推出所有平面几何的定理。

丘成桐教授对欧几里得逻辑体系理解有误。

现在数学界面临人工智能挑战，有没有准确理解第一次、第二次、第三次数学危机是关键。

现在很少人谈论这三次危机，就无法真正理解数学的本质，当然就很容易败给人工智能。