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:

This article is issued from Wikipedie. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.