Axiomatic choice models