About: Axiom schema of replacement

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In set theory, the axiom schema that the image of a set under a definable class function is also a set

thumbnail
Property Value
dbo:description
  • założenie w teorii mnogości; jeden z aksjomatów ZF (pl)
  • en aroteorio, la aksiomskemo, ke la bildaro de aro per difinebla klasa funkcio estas aro (eo)
  • aksiom v Zermelo-Fraenklovi teoriji množic (sl)
  • sgema'r wireb (cy)
  • in set theory, the axiom schema that the image of a set under a definable class function is also a set (en)
  • ein Axiom, das Abraham Fraenkel 1921 als Ergänzung zur Zermelo-Mengenlehre von 1907 vorschlug und später ein fester Bestandteil der Zermelo-Fraenkel-Mengenlehre ZF wurde (de)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Axiom schema of replacement (en)
  • Schéma nahrazení (cs)
  • Ersetzungsaxiom (de)
  • Esquema axiomático de reemplazo (es)
  • Schéma d'axiomes de remplacement (fr)
  • Schema di assiomi di rimpiazzamento (it)
  • 置換公理 (ja)
  • Axioma da substituição (pt)
  • Aksjomat zastępowania (pl)
  • Схема преобразования (ru)
  • Substitutionsaxiomet (sv)
  • Аксіомна схема підстановки (uk)
  • 替代公理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International