axiomatizan