Tarski's geometry axioms include an axiom schema, the axiom schema of continuity. Let $\phi(x)$ be a first order formula not containing $y$, $a$, or $b$ as free variables. Let $\psi(y)$ be a first order formula not containing $x$, $a$, or $b$. Then
$$[\exists a \forall x \forall y ([\phi(x) \land \psi (y)] \implies Baxy)] \implies [\exists b \forall x \forall y ([\phi(x) \land \psi (y)] \implies Bxby)]$$
This means that Tarski's axioms has infinitely many axioms.
Is there a way to reduce Tarski's axioms to a finite list of equivalent axioms?