En 1933 Tarski publicó en polaco un artículo sobre su definición matemática de la verdad para lenguajes formales.