I do not know much about mathematical logic but my understanding is that once an axiomatic system has a model, it is consistent. If this is the case what should be the characteristics of the model?
More specifically, what makes Dedekind cuts a suitable model for real numbers, from which we can conclude the consistency of the axiomatic system of real numbers?