Schéma nahrazení

Schéma nahrazení v axiomatické teorii množin je označení pro soustavu axiomů, které tvrdí:Pokud nějaká formule má charakter zobrazení, pak pro každou množinu existuje její obraz při tomto zobrazení.

Podrobněji viz:

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

Teorie množin

Axiomy	axiom výběru • axiom spočetného výběru • axiom závislého výběru • axiom extenzionality • axiom nekonečna • axiom dvojice • axiom potenční množiny • Axiom regulárnosti • axiom sumy • schéma nahrazení • schéma axiomů vydělení • hypotéza kontinua • Martinův axiom • velké kardinály

Množinové operace	doplněk • de Morganovy zákony • kartézský součin • potenční množina • průnik • rozdíl množin • sjednocení • symetrická diference

Koncepty	bijekce • kardinální číslo • konstruovatelná množina • mohutnost • ordinální číslo • prvek množiny • rodina množin • transfinitní indukce • třída • Vennův diagram

Množiny	Cantorova diagonální metoda • fuzzy množina • konečná množina • nekonečná množina • nespočetná množina • podmnožina • prázdná množina • rekurzivní množina • spočetná množina • tranzitivní množina • univerzální množina

Teorie	axiomatická teorie množin • Cantorova věta • forsing • Kelleyova-Morseova teorie množin • naivní teorie množin • New Foundations • paradoxy teorie množin • Principia Mathematica • Russellův paradox • Suslinova hypotéza • NBG • Zermelova teorie množin • ZFC • alternativní teorie množin

Lidé	Abraham Fraenkel • Bertrand Russell • Ernst Zermelo • Georg Cantor • John von Neumann • Kurt Gödel • Lotfi A. Zadeh • Paul Bernays • Paul Cohen • Richard Dedekind • Thomas Jech • Willard Quine

Schéma nahrazení

Navigační menu

Osobní nástroje

Jmenné prostory

Varianty

Zobrazení

Další

Hledání

Navigace

Tisk/export

Nástroje

V jiných jazycích