strong completness
تمامیت قوی
completeness theorem
قضیه تمامیت