>>880
有理数体 Q という構造の中で有理整数環 Z が定義できるかどうか
というような話なので、Q の持つ性質ならば何を使ってもよい。
強いていうなら、公理系 Th(Q) を考えているということになる。