[bvssvni]

Is your goal to have as few axioms as possible, or as few syntactic constructions as possible?

[cjfd]

Both really. Just as few givens as possible whether they are baked in or added on as axioms.