Aibių teorija

Aibių teorija – matematinės logikos šaka, kuri nagrinėja aibes – objektų rinkinius.

Aibės yra užrašomos atskiriant jos elementus (skaičius arba raides) kableliais ir apgaubiant figūriniais skliaustais. Pavyzdžiui, aibė  yra sudaryta iš elementų 1, 2 ir 3.

Aibių teorijos pradininkai buvo Georgas Kantoras ir Ričardas Dedekindas (1870 m.).

Vengiant paradoksų (pavyzdžiui, Raselo paradokso) aibių teorija buvo aksiomatizuota. Pirma aibių teorijos aksiomatizacija pasiūlyta Ernsto Zermelo 1908 m. ir papildyta Abrahamo Frenkelio bei Toralfo Skolemo iki standartinės Zermelo-Frenkelio aibių teorijos.

Aibių veiksmai 
Yra 3 pagrindiniai aibių veiksmai:
Sąjunga. Aibių  ir  sąjunga žymima . Rezultatas yra nauja aibė, kurioje yra visi skirtingi A ir B elementai. Pavyzdžiui, aibių } ir } sąjunga yra aibė }.
Sankirta. Aibių  ir  sankirta žymima . Rezultatas yra nauja aibė, kurioje yra atrinkti bendri  ir  aibių elementai. Pavyzdžiui, aibių } ir } sankirta yra aibė }.
Skirtumas. Aibių  ir  skirtumas žymimas . Rezultatas yra nauja aibė, kuri yra gauta iš aibės  išmetus visus elementus, kurie priklauso aibei . Pavyzdžiui, aibių } skirtumas yra aibė }.

Išnašos 

Matematinė logika
Aibių teorija