# What's the logical flaw in Euclid's construction of the triangle?

NJ Wildberger says in this video that there's a logical flaw in Euclid's construction of the triangle, that you're not really able to know (apart from the picture) if the circles intersect. He also provided no further comments about that. So, how's that?

-

As the speaker says: How do we know that the circles intersect? The axiom system in Euklid's Elements is in fact not strong enough to show that these circles intersect. Essentially, there is missing a notion of "between" and completeness, which has been corrected later by Hilbert. To see the problem immediately, note that you can do Euklidean geometry in $\mathbb Q^2$.
@Hagen I can't see the problem with the euclidean geometry in $\mathbb{Q}^2$ –  Voyska Apr 22 '13 at 13:19
@GustavoBandeira The circle around $(0,0)$ through $(1,0)$ and the circle around $(1,0)$ through $(0,0)$ "should" intersect in $(\frac12,\frac{\sqrt3}{2})$, but that opint is not there in $\mathbb Q^2$. –  Hagen von Eitzen Apr 22 '13 at 13:53