 Along with the methodological component, as can be seen from the items on Gödel’s list, there was also an “optimistic” component to Gödel’s rationalism: once the appropriate methods have been developed, philosophical problems such as, for example, those in ethics (e.g., item 9 on the list is: “Formal rights comprise a real science.”) can be decisively solved. As for mathematical assertions, such as the Continuum Hypothesis in set theory, once conceptual analysis has been carried out in the right way, that is, once the basic concepts, such as that of “set,” have been completely clarified, the Continuum Hypothesis should be able to be decided.