While the existing body of work on alternate axioms is tremendous, it's finite. The set of possible axiom systems is infinite. Does current the current body of work cover all consequences of all possible axiom systems?