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