Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Stiahnuť ▼
Rýchlejšie ako prehliadači!
 

Buraliho-Fortiho paradox

Index Buraliho-Fortiho paradox

Buraliho-Fortiho paradox je poznatok publikovaný roku 1897, ktorý spolu s ďalšími výsledkami podobného typu (označovanými ako paradoxy alebo antinómia) viedol ku kríze klasickej naivnej teórie množín a ich následnému nahradeniu axiomatickým systémom.

9 vzťahy: Axióma, Cantorov paradox, Množina, Podmnožina, Prvok množiny, Relácia (matematika), Russellov paradox, Teória množín, 1897.

Axióma

Axióma (slovo je žen. rodu; nesprávne: axióm, zastarano: axiom) alebo postulát je základná veta systému teórií, z ktorej sa pomocou pravidla odlúčenia dokazujú ostatné vety či teorémy daného systému.

Nový!!: Buraliho-Fortiho paradox a Axióma · Pozrieť viac »

Cantorov paradox

Cantorov paradox je poznatok publikovaný Georgom Cantorom roku 1899, ktorý spolu s ďalšími výsledkami podobného typu (označovanými ako antinómia alebo paradoxy naivnej teórie množín) viedol ku kríze klasickej naivnej teórie množín a ich následnému nahradeniu axiomatickým systémom.

Nový!!: Buraliho-Fortiho paradox a Cantorov paradox · Pozrieť viac »

Množina

Množina je súhrn dobre rozlíšiteľných entít, ktorý chápeme ako celok.

Nový!!: Buraliho-Fortiho paradox a Množina · Pozrieť viac »

Podmnožina

B je podmnožina A, A je nadmnožina B Podmnožina množiny A je taká množina B, že všetky prvky množiny B sú zároveň prvkami množiny A. To, že B je podmnožinou A sa symbolicky zapisuje Podmnožina A množiny B je vlastná podmnožina, ak existuje aspoň jedno x v množine B také, že x\notin A. To, že A je vlastná podmnožina množiny B, sa zapisuje Ak sa pracuje s podmnožinami nejakej pevne zvolenej základnej množiny U, je vzťah "byť podmnožinou" binárna relácia na systéme všetkých podmnožín U. Táto relácia sa nazýva relácia inklúzie alebo jednoducho inklúzia.

Nový!!: Buraliho-Fortiho paradox a Podmnožina · Pozrieť viac »

Prvok množiny

Prvok množiny alebo bod množiny je najjednoduchšia časť množiny.

Nový!!: Buraliho-Fortiho paradox a Prvok množiny · Pozrieť viac »

Relácia (matematika)

(n-árna/n-členná) relácia nad množinami X1, …, Xk je ľubovoľná podmnožina karteziánskeho súčinu X1 × … × Xk.

Nový!!: Buraliho-Fortiho paradox a Relácia (matematika) · Pozrieť viac »

Russellov paradox

Russellov paradox alebo Russellova antinómia je paradox, objavený v roku 1901 Bertrandom Russellom, ktorý ukazuje, že Cantorova intuitívna teória množín (naivná teória množín) je vnútorne sporná.

Nový!!: Buraliho-Fortiho paradox a Russellov paradox · Pozrieť viac »

Teória množín

Teória množín je časť matematiky, ktorá skúma všeobecné vlastnosti množín, najmä nekonečných.

Nový!!: Buraliho-Fortiho paradox a Teória množín · Pozrieť viac »

1897

Žiadny popis.

Nový!!: Buraliho-Fortiho paradox a 1897 · Pozrieť viac »

Presmerovanie tu:

Burali-Fortiho paradox.

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »