Comment by cjfd

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