Gödel, Kant, and the Path of a Science