  But Tarski goes on to claim that that belief of the logicians was wrong. There are some non-vague cases in which a certain sentence of a higher-order language follows in the intuitive sense from a set of other sentences of that language but cannot be derived from them using the accepted axioms and rules. These cases are provided by some ω-incomplete theories, theories in which for some predicate P the sentences 