cardinality of language
قوت زبان
theory
نظریه
Lucas theorem
قضیه لاکاس
language
زبان
consistency problem
مسئله سازگاری
model theory of set theory
نظریه مدل نظریه مجموعه‌ها
structure of proof
ساختار برهان
محاسبه‌پذیری
computability
Godel incompleteness theorem
قضیه ناتمامیت گودل
این قضیه که هر دستگاه حسابی صوری نا تمام است به این معنی که اگر سازگار باشد نمیتواند سازگاری خود را اثبات کند.