Yes, that's fine. That Tarski's axioms for Euclidean geometry are consistent is independent of that claim—the above is a statement about the "usual" non-euclide

Yes, that's fine. That Tarski's axioms for Euclidean geometry are consistent is independent of that claim—the above is a statement about the "usual" non-euclidean geometries (i.e., Riemannian).