first order logic
منطق مرتبه اول
cardinality of language
قوت زبان
semantic of first order logic
معنا شناسی منطق مرتبه اول
first order language
زبان مرتبه اول
one-sorted language
زبان تک-گونه‌ای
language
زبان
ارزش در مدل
truth in model
Tarski truth
صدق تارسکی
semantic
معنا شناسی