4 ms·

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

• cjfd 3y ago
  Both really. Just as few givens as possible whether they are baked in or added on as axioms.