@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q1361825 rdfs:label "esquema d'axioma de reemplaçament"@ca,
        "Schéma nahrazení"@cs,
        "sgema gwireb o amnewid"@cy,
        "Ersetzungsaxiom"@de,
        "Αξιωματικό σχήμα της αντικατάστασης"@el,
        "axiom schema of replacement"@en,
        "aksiomskemo de anstataŭigo"@eo,
        "esquema axiomático de reemplazo"@es,
        "اصول موضوع جایگزینی"@fa,
        "schéma d'axiomes de remplacement"@fr,
        "אקסיומת ההחלפה"@he,
        "schema di assiomi di rimpiazzamento"@it,
        "置換の公理型"@ja,
        "치환 공리형"@ko,
        "အစားထိုးခြင်း နဂိုမှန်အဆို ပုံစံ"@my,
        "aksjomat zastępowania"@pl,
        "axioma da substituição"@pt,
        "axioma înlocuirii"@ro,
        "аксиома схемы преобразования"@ru,
        "aksiom o zamenjavi"@sl,
        "Substitutionsaxiomet"@sv,
        "Аксіомна схема підстановки"@uk,
        "替代公理"@zh ;
    schema1:dateModified "2026-09-06T17:40:40+00:00"^^xsd:dateTime ;
    schema1:description "sgema'r wireb"@cy,
        "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,
        "in set theory, the axiom schema that the image of a set under a definable class function is also a set"@en,
        "en aroteorio, la aksiomskemo, ke la bildaro de aro per difinebla klasa funkcio estas aro"@eo,
        "założenie w teorii mnogości; jeden z aksjomatów ZF"@pl,
        "aksiom v Zermelo-Fraenklovi teoriji množic"@sl ;
    schema1:version 2541223524 ;
    wikibase:identifiers 8 ;
    wikibase:sitelinks 17 ;
    wikibase:statements 17 ;
    skos:altLabel "axioma de reemplaçament"@ca,
        "esquema d'axiomes de reemplaçament"@ca,
        "Ersetzungsschema"@de,
        "axiom schema of collection"@en,
        "axioma de reemplazo"@es,
        "esquema axiomatico de reemplazo"@es,
        "axiome de remplacement"@fr,
        "schema d'axiomes de remplacement"@fr,
        "schéma d'axiome de remplacement"@fr,
        "schéma d'axiomes de substitution"@fr,
        "schéma de remplacement"@fr,
        "schéma de substitution"@fr,
        "assioma di rimpiazzamento"@it,
        "置換公理"@ja,
        "схема преобразования"@ru,
        "代换公理"@zh ;
    p:P12888 wds:Q1361825-2497c6b2-4da6-d493-97c9-09340f4d94d3 ;
    p:P1417 wds:Q1361825-9054D7AD-BF4D-47CA-A5E0-7E874067DD5E ;
    p:P2534 wds:Q1361825-CB800C2F-335D-41B8-B686-79DC9DFC5D26 ;
    p:P2579 wds:Q1361825-28f9ee24-42e7-2850-0cce-9af2c0f30ede ;
    p:P279 wds:Q1361825-851bc68b-4765-206f-6a41-76dacae779f4 ;
    p:P2812 wds:Q1361825-c48ea1e8-44a3-3b46-8ac5-bbc6cc046bdc ;
    p:P31 wds:Q1361825-3d6b7277-459e-ce12-63a0-fc4eca92ffb7 ;
    p:P3417 wds:Q1361825-7AAF422B-D1C0-464E-AC7F-AEDA2CBFD303 ;
    p:P361 wds:Q1361825-36B3AC3A-47B4-4D14-B909-8152D221D4E6 ;
    p:P4215 wds:Q1361825-bbed9db6-4123-5f2a-c57e-f808a1ace0a5 ;
    p:P5555 wds:Q1361825-acaab855-4632-aa58-563b-86cebd2e8af5 ;
    p:P575 wds:Q1361825-3153dd55-4493-dc2c-61c9-8c039a0965c6 ;
    p:P61 wds:Q1361825-20af50e0-497b-c0b1-d5ef-32922e29a854 ;
    p:P6104 wds:Q1361825-72D1790F-0902-4DA6-9538-E7F403951CCD ;
    p:P6366 wds:Q1361825-4D4A9DEC-6055-46F8-9754-AF8ACB946323 ;
    p:P646 wds:Q1361825-95B8BABA-6D4E-417B-8039-F4900678D878 ;
    p:P6781 wds:Q1361825-7f2b1dd6-4edf-238b-1dc3-6dc6fbe01bfa ;
    wdtn:P6366 <https://makg.org/entity/2780877781> ;
    wdt:P12888 "ax-rep" ;
    wdt:P1417 "topic/axiom-schema-of-replacement" ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi mathvariant=\"normal\">&#x2200;</mi><msub><mi>w</mi><mrow data-mjx-texclass=\"ORD\"><mn>1</mn></mrow></msub><mo>,</mo><mo stretchy=\"false\">&#x2026;</mo><mo>,</mo><msub><mi>w</mi><mrow data-mjx-texclass=\"ORD\"><mi>n</mi></mrow></msub><mspace width=\"0.167em\"></mspace><mi mathvariant=\"normal\">&#x2200;</mi><mi>A</mi><mspace width=\"0.167em\"></mspace><mi mathvariant=\"normal\">&#x2203;</mi><mi>B</mi><mspace width=\"0.167em\"></mspace><mi mathvariant=\"normal\">&#x2200;</mi><mi>x</mi><mspace width=\"0.167em\"></mspace><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">&#x2208;</mo><mi>B</mi><mo stretchy=\"false\">&#x21D4;</mo><mo stretchy=\"false\">[</mo><mi>x</mi><mo stretchy=\"false\">&#x2208;</mo><mi>A</mi><mo stretchy=\"false\">&#x2227;</mo><mi>&#x03C6;</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo>,</mo><msub><mi>w</mi><mrow data-mjx-texclass=\"ORD\"><mn>1</mn></mrow></msub><mo>,</mo><mo stretchy=\"false\">&#x2026;</mo><mo>,</mo><msub><mi>w</mi><mrow data-mjx-texclass=\"ORD\"><mi>n</mi></mrow></msub><mo>,</mo><mi>A</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo><mo stretchy=\"false\">)</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q191849 ;
    wdt:P279 wd:Q17736 ;
    wdt:P2812 "AxiomofReplacement" ;
    wdt:P31 wd:Q792536 ;
    wdt:P3417 "Axiom-Schema-of-Replacement" ;
    wdt:P361 wd:Q3632199 ;
    wdt:P4215 "axiom of replacement" ;
    wdt:P5555 <http://commons.wikimedia.org/wiki/Special:FilePath/Axiom%20schema%20of%20replacement.svg> ;
    wdt:P575 "1921-01-01T00:00:00+00:00"^^xsd:dateTime ;
    wdt:P61 wd:Q61043 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2780877781" ;
    wdt:P646 "/m/0ds27" ;
    wdt:P6781 "Axiom:Axiom_of_Replacement" .