Quote by PatrickPowers
Right, the idea was to have a small set of axioms from which all physics follows.
However general relativity is not built this way. The definitions are circular, which axiomatics does not allow.

It is easy to remove circularity from any set of postulates, just be rephrasing things properly.
Otherwise, Euclid's axioms for elementary geometry (_the_ paradigm fior an axiom system) would have to be regarded as circular, too.