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: Schéma nahrazení v Zermelově-Fraenkelově teorii množin Schéma nahrazení v Gödelově-Bernaysově teorii množin Schéma nahrazení v Kelleyově-Morseově teorii množin

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • 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: Schéma nahrazení v Zermelově-Fraenkelově teorii množin Schéma nahrazení v Gödelově-Bernaysově teorii množin Schéma nahrazení v Kelleyově-Morseově teorii množin
dbpedia-owl:wikiPageID
  • 601398 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 766 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 8 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 10494032 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dcterms:subject
rdfs:comment
  • 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: Schéma nahrazení v Zermelově-Fraenkelově teorii množin Schéma nahrazení v Gödelově-Bernaysově teorii množin Schéma nahrazení v Kelleyově-Morseově teorii množin
rdfs:label
  • Schéma nahrazení
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of