 In the Logical Syntax of Language (1934/1937) Carnap defined ‘analytic’ in a new way in order to circumvent Gödel’s incompleteness results. The method used was to distinguish between a derivation relation (the relation that holds between some premises and what can be got from them in a finite number of steps) and a consequence relation. The latter is an essentially semantic relation that holds between some premises and some other claim such that on all valuations under which the premises are all true, so is that other claim. This definition bears a stronger resemblance to Tarski’s account in (Tarski 1936b/1956). In any case, Carnap is able to show that for any sentence of pure mathematics either it or its negation is a consequence of the null set of premises. This leaves Gödel’s results completely intact as they concerned what is provable, that is, derivable from the null set of premises or from any one consistent axiomatization of mathematical truths.