Tarski undefinability theorem

Redirect to:

• Tarski's undefinability theorem