Use "axiomatizations" in a sentence