TARSKI Alfred, O pojęciu prawdy w odniesieniu do sformalizowanych nauk dedukcyjnych [The Concept of Truth], 1930-1931