5 ms·Math isn't choosing which axioms to use, is finding the consequences of a given set.by witherk 4y agoMath isn't choosing which axioms to use, is finding the consequences of a given set.