Kurt Gödel, Philosopher-Scientist #1 - Logic MattersLogic Matters