Logique sémantique, métamathématique, 1923-1944 | lit.salon