Very closely related: Tarski’s undefinability theorem, which limits languages’ ability to have predicates that say whether sentences in that language are true.
Very closely related: Tarski’s undefinability theorem, which limits languages’ ability to have predicates that say whether sentences in that language are true.