Tarski's undefinability theorem (Q574902)
Jump to navigation
Jump to search
theorem that truth in the standard model of a formal system cannot be defined within the system
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tarski's undefinability theorem |
theorem that truth in the standard model of a formal system cannot be defined within the system |
Statements
Identifiers
Sitelinks
Wikipedia(11 entries)
- dewiki Tarskis Undefinierbarkeitssatz
- enwiki Tarski's undefinability theorem
- eswiki Teorema de indefinibilidad de Tarski
- frwiki Théorème de Tarski
- hewiki משפט האי-גדירות של טרסקי
- itwiki Teorema di indefinibilità di Tarski
- jawiki タルスキの定義不可能性定理
- kowiki 타르스키의 정의 불가능성 정리
- ptwiki Teorema da indefinibilidade de Tarski
- ruwiki Теорема Тарского о невыразимости истины
- zhwiki 塔斯基不可定義定理