Ingasetshenziswa kuphi imfundiso yamaqoqo?
Context:I-set theory igatsha le-mathematical logic elihlola amaqoqo, angachazwa ngokungahleliwe njengamaqoqo ezinto. Nakuba izinto zanoma yiluphi uhlobo zingaqoqwa zibe isethi, isethi theory, njengegatsha lezibalo, ikakhulu iphathelene nalezo ezihlobene nezibalo zizonke.  Ucwaningo lwesimanje lwemfundiso yeqoqo lwaqalwa izazi zezibalo zaseJalimane uRichard Dedekind noGeorg Cantor ngawo-1870. Ikakhulukazi, uGeorg Cantor uvame ukubhekwa njengomsunguli we-set theory. Izinhlelo ezingekho emthethweni ezicwaningwe phakathi nalesi sigaba sokuqala zihamba ngaphansi kwegama le-naïve set theory. Ngemva kokutholakala kweziphikiso ngaphakathi kwe-naïve set theory (njenge-Russell's paradox, i-Cantor's paradox kanye ne-Burali-Forti paradox) izinhlelo ezihlukahlukene ze-axiomatic zaphakanyiswa ekuqaleni kwekhulu lamashumi amabili, okuyi-Zermelo<unk>Fraenkel set theory (nge-axiom yokukhetha noma ngaphandle kwayo) namanje eyaziwa kakhulu futhi efundwe kakhulu.  Imfundiso yeqoqo isetshenziswa njengohlelo oluyisisekelo kuyo yonke imathematics, ikakhulukazi ngendlela yeqoqo leZermelo-Fraenkel kanye ne-axiom of choice. Ngaphandle kwendima yayo eyisisekelo, ithiyori yeqoqo futhi inikeza uhlaka lokuthuthukisa ithiyori yezibalo ye-infinity, futhi inezicelo ezahlukahlukene kwisayensi yamakhompyutha (njengasemcabangweni we-algebra yobudlelwano), ifilosofi kanye ne-semantics esemthethweni. Isikhalo sayo esiyisisekelo, kanye nezimpikiswano zayo, okushiwo umqondo wokungapheleli nokusetshenziswa kwayo okuningi, kwenze imfundiso yeqoqo yaba yindawo ethakazelisa kakhulu izazi zefilosofi kanye nezazi zezibalo. Ucwaningo lwanamuhla ngemfundiso yeqoqo luhlanganisa izihloko eziningi, kusukela ekwakhiweni komugqa wezinombolo zangempela kuya ekutadisheni ukuvumelana kwama-cardinal amakhulu.
Amaqoqo angasetshenziswa cishe kunoma yiluphi uhlelo lokusebenza, ngoba uhlelo lokusebenza lungamelwa ngeqoqo elinengqondo lezinto zezibalo.