In 2D geometry, where the five axioms of Euclid are right, can I prove any geometric theorem? like pythagorean theorem, bisector theorem, law of parallelogram, etc.?
I think that it could, because the axioms are the basis of all this geometry and therefore, more complex theorems should be able to express themselves in terms of their "elementary particles" (analogy). But this is just an intuition.