Sentence:  The serious study of "models" of axiomatic <WSD>set theories</WSD> depends heavily on methods from "mathematical logic" which are outside the scope of these Notes. 
Meaning of the word marked with <WSD> tags:  The mathematical theory of sets.