Teorie množin: Porovnání verzí

Smazaný obsah Přidaný obsah
vraceni Jelinkovy vety, trochu preformulovane
m +doplneni vety - logika
Řádek 2:
'''Teorie množin''' je [[Matematika|matematická]] teorie, která se zabývá studiem [[množina|množin]]. Množina je buď souhrn nějakých prvků (přičemž nezáleží na jejich pořadí), anebo nějaká matematická formalizace tohto konceptu.
 
Teorie množina, která vychází s intuitice a zachází s množinami jako se soubory nějakých objektů, se nazývá [[naivní teorie množin]]. Kromě ní existujeexistují [[Axiomatická teorie množin]], kterákteré přesně formulujeformulují vlastnosti množin několika [[axiom]]y a z nich (bez využití intuice či dalších předpokladů) odvozujou další vlastnosti množin pomocí [[matematická logika|matematické logiky]]. Ve většině těchto teorií je možné zkonstruovat všechny běžně používané matematické objekty (tj. [[reálná čísla]], [[funkce (matematika)|funkce]], uspořádané dvojice atd.) jako množiny.
 
== Historie teorie množin ==