Logique, sémantique, métamathématique 1 — Alfred Tarski