These foundations use toposes, which resemble generalized models of set theory that may employ classical or nonclassical logic.
Disse grundlag gør brug af toposteorien, der minder om generaliserede modeller for mængdelæren, der kan gøre brug af klassisk eller ikke-klassisk logik.