a number of properties of if logic follow from logical equivalence with formula_7 and bring it closer to first-order logic including a compactness theorem, a löwenheim–skolem theorem, and a craig interpolation theorem. (väänänen, 2007, p. 86). however, väänänen (2001) proved that the set of gödel numbers of valid sentences of if logic with at least one binary