Schéma nahrazení

Z Wikipedie, otevřené encyklopedie
(rozdíl) ← Starší revize | zobrazit aktuální verzi (rozdíl) | Novější revize → (rozdíl)
Skočit na navigaci Skočit na vyhledávání

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: