Por otro lado, Tarski mostró cómo la preservación de ese concepto clásico requería no definirlo para cualquier lenguaje —o para un lenguaje ‘genuino’ al que serían traducibles todos los demás—, sino para lenguajes formales (de fórmulas) interpretables en dominios restringidos: si la concepción clásica se aplica a lenguajes que se refieren ilimitadamente a sí mismos —por ejemplo, la lengua nativa del teórico o de su lector humano— se hace posible caer en contradicciones como la paradoja del mentiroso.