Axiomatic AI