Should we include here the formal meaning of 'model' from axiomatic set theory?
I would suggest just having a link here to an entry of its own. BTW I consider this article to be an excellent introduction to the topic (Kwaku)
I agree (that you should just add an link). --
Tbackstr