 Thus, the extension of G is the following set of sentences: {A0, A1, A2, A3, … } = {(Tα0  ∨  ¬Tα0),  Tα0,   Ta1,  Ta2,  Ta3, … }. Finally let B be the sentence  ∀x(Gx ⊃ Tx). Let h be any  hypothesis for which we have, for  each natural number n,