axiomizes