# Tarski's undefinability theorem

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

**Wikidata**: [Q574902](https://www.wikidata.org/wiki/Q574902)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Tarski's_undefinability_theorem)  
**Source**: https://4ort.xyz/entity/tarski-s-undefinability-theorem


## References

1. Freebase Data Dumps. 2013