イデアルの議論なんて二階の言語で十分表現できる。
（逆数学でイデアルが難なく扱えるのと同じこと。）
二階の言語は元のsortとそれら元の集合のsortを持つmany-sorted言語だから
その意味では確かに「集合論的」なのかも知れないけれど、
階数によるsortの制約が全くないZFのような本格的な集合論は必要ない。