قضیه درستی
soundness theorem
completeness theorem
قضیه تمامیت
semantic
معنا شناسی
strong soundness
درستی قوی