0
$\begingroup$

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...

$\endgroup$

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.