 Ibo ni a ti lè lo èrò orí nípa àwọn àwùjọ?Context:Ẹkọ nípa àwọn àwùjọ jẹ ẹka ìmọ ìṣirò tó ń kẹkọọ nípa àwọn àwùjọ, èyí tí a lè ṣàpèjúwe bí àkójọ àwọn nǹkan. Bó tilẹ jẹ pé a lè kó àwọn ohun tí ó jẹ ti oríṣi èyíkéyìí jọ sínú àwùjọ, èrò orí àwùjọ, gẹgẹ bí ẹka kan nínú ìṣirò, ló pọ jù lọ nínú àwọn tí ó jẹ mọ ìṣirò lápapọ.  Àwọn onímọ ìṣirò ọmọ ilẹ Jámánì Richard Dedekind àti Georg Cantor ló bẹrẹ ìwádìí òde òní lórí ẹkọ èrò orí àwọn àwùjọ ní àwọn ọdún 1870. Ní pàtàkì, Georg Cantor ni a sábà máa ń kà sí olùdásílẹ èrò orí àwọn àwùjọ. Àwọn ètò tí kò ṣe àkànṣe tí a ṣe ìwádìí wọn ní ìpele ìbẹrẹ yìí ni a ń pè ní ẹkọ nípa àwọn àwùjọ tí kò ṣe pàtàkì. Lẹyìn tí wọn ṣàwárí àwọn àdììtú nínú ẹkọ èrò orí àwọn àwùjọ tí kò mọ nípa nǹkan bíi àdììtú Russell, àdììtú Cantor àti àdììtú Burali-Forti onírúurú ètò axiomatic ni wọn dábàá ní ìbẹrẹ ọrúndún ogún, nínú èyí tí ẹkọ èrò orí àwùjọ Zermelo-Fraenkel pẹlú tàbí láìsí àdììtú yíyan ṣì jẹ èyí tí a mọ jùlọ tí a sì kẹkọọ jùlọ.  Ẹkọ èrò orí àwọn àwùjọ ni wọn sábà máa ń lò gẹgẹ bí ètò ìpìlẹ fún gbogbo ìṣirò, ní pàtàkì ní ọnà ti ẹkọ èrò orí àwùjọ ti Zermelo-Fraenkel pẹlú ìlànà yíyan. Yàtọ sí ipa tó kó nínú ìpilẹṣẹ rẹ, ẹkọ èrò orí àwọn àwùjọ tún pèsè àgbékalẹ láti mú ẹkọ èrò orí ìṣirò ti àìlópin jáde, ó sì ní onírúurú ohun èlò nínú ìmọ-ìjìnlẹ kọǹpútà bíi nínú ẹkọ èrò orí ti ẹrọ-ìjìnlẹ algebra, ìmọ-ìjìnlẹ àti ọrọ-ìjìnlẹ tí ó wà ní ìpilẹṣẹ. Ìdánilójú rẹ, pa pọ pẹlú àwọn àdììtú rẹ, àwọn ìtumọ rẹ fún ọrọ-ìmọ nípa àìlópin àti ọpọlọpọ àwọn ohun èlò rẹ, ti mú kí èrò orí àwọn àwùjọ jẹ àgbègbè kan tí àwọn onímọ-ìmòye àti àwọn onímọ-ìmòye nípa ìṣirò ti nífẹẹ sí gidigidi. Àwọn ìwádìí tí wọn ń ṣe lóde òní lórí ẹkọ nípa ọpọlọpọ èrò orí ní àwọn kókó ọrọ tó gbòòrò gan-an, láti ìpilẹṣẹ òpópónà àwọn iye gidi títí dórí ìwádìí nípa bí àwọn kádínà ńlá ṣe máa ń wà ní ìmúṣẹ. : A lè lo àwọn àpapọ fún ohun èlò èyíkéyìí, níwọn bí a ti lè fi ohun èlò náà hàn nípasẹ àwọn àpapọ èrò orí àwọn ohun ìṣirò. 