Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax · Study