I'm trying to track down the introduction of models in order to get a better understanding of the modern axiomatic method in general. So far it seems to be Hilbert that first created and made use of a model as a concept to prove the consistency of his axioms, I can't find any information that suggests that Pasch or Peano did the same.
Additionally, I can't find any details on Hilbert's model (which seems to be based on the real numbers?). Any input or redirections to where I can read more specifically about his model is highly appreciated.
Thanks