Then came the semantic theory of truth formulated by the logician Alfred Tarski and published in 1933