 Although the roots of Gödel’s belief in rationalism are metaphysical in nature, his long-standing aspirations in that domain had always been practical ones. Namely, to develop exact methods in philosophy; to transform it into an exact science, or strenge Wissenschaft, to use Husserl’s term.