မိုဒယ်သီအိုရီ

သင်္ချာ (အထူးသဖြင့် သင်္ချာသန့်သန့်) ဘာသာရပ်ရှိ တည်ဆောက်ပုံ (structure) များကို ယုတ္တိဗေဒ (logic) သုံးကာ လေ့လာသည့် ဘာသာရပ်ကို မိုဒယ်သီအိုရီ (model theory) ဟုခေါ်သည်။ မိုဒယ်သီအိုရီအမျိုးမျိုးအနက် ပထမအဆင့် ဘာသာစကားများ (first-order languages) ကို အသုံးပြု ရေးသားထားချက်များနှင့် ၎င်းရေးသားထားချက်များနှင့် ကိုက်ညီသည့် တည်ဆောက်ပုံတို့အကြား ဆက်နွယ်မှုကို လေ့လာသည့် ဘာသာရပ်ကို ဂန္ထဝင် (သို့) ရှေးရိုးကျ မိုဒယ်သီအိုရီ၊ ပထမအဆင့် မိုဒယ်သီအိုရီ (first-order model theory) စသည်ဖြင့် ခေါ်ကြသည်။

အညွှန်း

ကိုးကား

 

 သင်္ချာ