> Starting with definitions and axioms all theorems can be invented and proved This was the premise of symbolic AI, but this approach seems to have been abando

> Starting with definitions and axioms all theorems can be invented and proved This was the premise of symbolic AI, but this approach seems to have been abandoned now.