 This approach, Geach says, would have “the advantage of lightening a theory’s set-theoretical burdens. (In our present example, we need not bring in infinite sets of ordered pairs of integers into the theory of rationals.).”