قوت زبان
preferred label: cardinality of language @en
type: Concept
related: قضیه ناتمامیت گودل

نظریه
preferred label: theory @en
type: Concept
related: قضیه ناتمامیت گودل

قضیه لاکاس
preferred label: Lucas theorem @en
type: Concept
related: قضیه ناتمامیت گودل

زبان
preferred label: language @en
type: Concept
related: قضیه ناتمامیت گودل

مسئله سازگاری
preferred label: consistency problem @en
type: Concept
narrower: قضیه ناتمامیت گودل

نظریه مدل نظریه مجموعه‌ها
preferred label: model theory of set theory @en
type: Concept
related: قضیه ناتمامیت گودل

ساختار برهان
preferred label: structure of proof @en
type: Concept
related: قضیه ناتمامیت گودل

محاسبه‌پذیری
preferred label: computability @en
type: Concept
related: قضیه ناتمامیت گودل

قضیه ناتمامیت گودل
preferred label: Godel incompleteness theorem @en
broader: مسئله سازگاری
related: محاسبه‌پذیری
related: نظریه
related: قضیه لاکاس
related: نظریه مدل نظریه مجموعه‌ها
related: ساختار برهان
related: قوت زبان
related: زبان
type: Concept
scope note: این قضیه که هر دستگاه حسابی صوری نا تمام است به این معنی که اگر سازگار باشد نمیتواند سازگاری خود را اثبات کند.