mˈɔdɛl dˈanɛj tɛˈɔrji mˈuɕi spˈɛwɲʲatɕ fʃˈɨstkʲɛ jɛj ˌaksjɔmˈatɨ tɨm sˈamɨm f sˌɛmantˈɨtʃnɨm sˈɛnɕɛ pˈɔttʃas mˌɔdɛlɔvˈaɲʲa zakwˈada pravdʑˈivɔɕtɕ tɨx ˌaksjɔmˈatuf.
Model danej teorii musi spełniać wszystkie jej aksjomaty (tym samym w semantycznym sensie podczas modelowania zakłada prawdziwość tych aksjomatów).