Logique, sémantique, métamathématique, 1923-1944