Can we prove consistency of Euclidean geometry in Peano arithmetic?

It is obvious that the statement that asserts consistency of euclidean geometry (in fact its formalized versions due to Hilbert and Tarski) is a $\Pi_1$ sentence in the language of $PA$ (Peano arithmetic). Is this sentence provable in $PA$ ?

• I think that's what David Hilbert proved. – Shubhashish Mar 21 '18 at 18:44
• Hilbert's axioms aren't first-order. However, Tarski's are first-order and have he proved they have a decidable and complete theory. – Not Mike Mar 21 '18 at 20:32