اصطلاح مرجح
قضیه جازمیت
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
یادداشت دامنه
-
فرض کنید T نظریهای کامل در زبان شمارای L باشد در این صورت اگر T به ازای عدد اصلی ناشمارای k , جازم باشد , به ازای تمام عددهای اصلی، رستهای ناشمارا خواهد بود.
در زبان های دیگر
categoricity theorem
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007685