مترادف تمامیت : تام، تمام، کلیت
تمامیت
مترادف تمامیت : تام، تمام، کلیت
فارسی به انگلیسی
entirety, integrity
absoluteness, entirety, entity, finish, integrity, totality, wholeness
فارسی به عربی
مجموع
مترادف و متضاد
کمال، درستی، تمامیت، امانت، راستی، بی عیبی
کمال، تمامیت
مجموع، تمامیت، کلی، کلیت، مقدار کلی
مشارکت، تمامیت، جمع کل، چیز درست و دست نخورده
تام، تمام، کلیت
دانشنامه عمومی
تمامیت (منطق). در منطق ریاضی و فرامنطق، یک سیستم صوری را نسبت به یک خاصیت تام یا کامل گویند، اگر هر فرمول دارای آن خاصیت بتواند با استفاده از آن سیستم مشتق شود، یعنی یکی از قضیای آن باشد؛ در غیر آنصورت، آن سیستم را ناتمام یا ناکامل گویند. عبارت «کامل» همچنین بسته به زمینه بحث، با معانی مختلفی بکار می رود، که اغلب به اعتبار معناشناختی ارجاع می دهد. شهوداً، یک سیستم را در این حالت خاص کامل می گویند اگر هر گزاره صادقی را استنتاج کند. کورت گودل، لئون هنکین و امیل لئون پست همگی اثبات هایی از تمامیت منتشر کردند. (نگاه کنید به تاریخچه تز تورینگ-چرچ)
خاصیت وارون تمامیت، صحت یا سازگاری نام دارد: یک سیستم نسبت به یک خاصیت (عمدتا اعتبار معناشناختی) صحت دارد، اگر هر یک از آن قضایایش آن خاصیت را داشته باشند.
یک زبان صوری از نظر رسایی تام است اگر بتواند موضوعی که برای آن در نظر گرفته شده است را تبیین کند.
مجموعه ای از رابط های منطقی در ارتباط با یک سیستم صوری تابعاً تام است اگر بتواند بیان همه توابع گزاره ای (یا گزاره نماها) را تببین کند.
خاصیت وارون تمامیت، صحت یا سازگاری نام دارد: یک سیستم نسبت به یک خاصیت (عمدتا اعتبار معناشناختی) صحت دارد، اگر هر یک از آن قضایایش آن خاصیت را داشته باشند.
یک زبان صوری از نظر رسایی تام است اگر بتواند موضوعی که برای آن در نظر گرفته شده است را تبیین کند.
مجموعه ای از رابط های منطقی در ارتباط با یک سیستم صوری تابعاً تام است اگر بتواند بیان همه توابع گزاره ای (یا گزاره نماها) را تببین کند.
wiki: تمامیت (منطق)
همه، یکپارچگی
پیشنهاد کاربران
یکپارچگی
واژه << تمامیت>> را می توان برابر نهاد واژه <<فرآراستگی>> گرفت. همانند: قضیه ناتمامیت گودل= گزاره نافرآراستگی گودل.
کلمات دیگر: