axiomizing