 In an axiomatic theory, relations between primitive notions are restricted by axioms.Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading.Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).