(Q574902)

English

Tarski's undefinability theorem

theorem that truth in the standard model of a formal system cannot be defined within the system

In more languages
default values for all languages
No label defined

No description defined

Statements

Identifiers