I'm studying for the first time the "First Order Logic". I encontered concepts as Axioms' System, theorems, inference rules,ecc..

Then i read Euclidean geometry on wiki and i discovered that it's also composed of an axiom system and theorems.

So, in which way these 2 things are connected ? Can i use First Order Logic to describe Euclidean Geometry?

ps: The fact is that i'm also trying to understand the practical use of axioms' schemes and theorems in First Order Logic. What can i build with them...


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.