Schéma nahrazení

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledá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: