Has anyone ever proposed additional axioms?Adding axioms makes more theorems provable. They need not be though of as truths. You can add either the Axiom of Choice or its denial to standard set theory, extending the set of theorems in disjoint ways. On one natural interpretation of that, only one of those two sets of novel theorems is a set of truths.