I would (for example) expect it to be more cognitive effort to make a typical prediction starting from a smaller set of axioms than from a larger set of (mutually consistent) axioms, but would not consider the larger set simpler.

My guess is that the larger set will have some redundancy, i.e. some of the axioms would be in fact theorems. But I don't know enough about that part of math to make a definitive statement.