Retrieving "Metalanguage" from the archives

Cross-reference notes under review

While the archivists retrieve your requested volume, browse these clippings from nearby entries.

1. Self Referential Statements

   Linked via "metalanguage"

   Building on related logical issues, Alfred Tarski demonstrated in 1933 that a consistent formal language cannot contain its own truth predicate [8]. Tarski's Undefinability Theorem proves that if a language $L$ is sufficiently rich to formalize elementary arithmetic (and thus contain its own Gödel numbering), then any predicate defined within $L$ claiming to express the truth of sentences in $L$ will inevitably lead to a contradiction, similar in structure to the [Lia…