Kurt Gödel - logik proti šílenství