Besonderhede van voorbeeld: 8124014156474125587

English

Topos theory can interpret various alternatives to that theory, such as constructivism, finite set theory, and computable set theory.[10] Topoi also give a natural setting for forcing and discussions of the independence of choice from ZF, as well as providing the framework for pointless topology and Stone spaces.[11]

Finnish

Topos-teoriassa voidaan esittää tälle teorialle useita vaihtoehtoja kuten konstruktivismi, äärellinen joukko-oppi ja Turingin koneeseen liittyvä laskettava joukko-oppi.[7]