But Giidel's proof of the incompletability of elemen tary number theory shows that no such approach can be adequate to mathematics in general, nor in particular to set theory, nor to Language for Language, in consequence, Carnap's formulation of logical truth proceeded along the lines rather of Tarski's technique of truth definition.