Tarski fue también un personaje importante que colaboró siempre en esta misma línea, llegando formalmente a conclusiones como que la verdad o "veracidad" de un sistema aritmético sólo podría ser probado fuera de él.