塔斯基不可定义定理
tǎsījī bùkě dìngyì dìnglǐ
теорема Тарского о невыразимости истины
пословный:
塔 | 斯基 | 不可 | 定义 |
1) не разрешать, не допускать, нельзя, недопустимо
2) не соглашаться
3) невозможно
|
научное определение, формулировка, объяснение, дефиниция, определение; определять, дать определение
|
定理 | |||
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|