It’s fine to call it axiomatic. You can get into that Hilbert style formalism all you want. That’s all just backwards justification of math.

There is a reason nobody picked it up and continued that work when he abandoned it.