There's no issue with recursive definitions. That's how arithmetic was original formalized by Peano's axioms [1].

[1] https://en.wikipedia.org/wiki/Peano_axioms