Tarski's undefinability theorem الإنجليزية (Q820404)
theorem that truth in the standard model of a formal system cannot be defined within the system الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | Tarski's undefinability theorem |
theorem that truth in the standard model of a formal system cannot be defined within the system |
بيانات
Wikidata item الإنجليزية
named after الإنجليزية
Freebase ID الإنجليزية
instance of الإنجليزية
Microsoft Academic ID الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- dewiki Tarskis Undefinierbarkeitssatz
- enwiki Tarski's undefinability theorem
- frwiki Théorème de Tarski
- hewiki משפט האי-גדירות של טרסקי