@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:Q598840 rdfs:label "دليل جودل الوجودي للإله"@ar,
        "Demostració ontològica de Gödel"@ca,
        "Gödel's ontological proof"@en,
        "ontologia pruvo de Gödel"@eo,
        "Demostración ontológica de Gödel"@es,
        "Gödeli ontoloogiline jumalatõestus"@et,
        "Preuve ontologique de Gödel"@fr,
        "ההוכחה האונטולוגית של גדל"@he,
        "Gödel ontológiai istenérve"@hu,
        "prova ontologica di Gödel"@it,
        "ゲーデルの神の存在証明"@ja,
        "Gödels ontologiske bevis for Gud"@nb,
        "Gödels ontologisch bewijs"@nl,
        "Demonstração ontológica de Gödel"@pt,
        "Gödlov ontološki dokaz"@sl,
        "Gödel'in ontolojik kanıtı"@tr,
        "哥德爾本體論證明"@zh ;
    schema1:dateModified "2026-08-31T20:04:49+00:00"^^xsd:dateTime ;
    schema1:description "Gödel's formalization of the ontological argument for the existence of God using modal logic"@en,
        "formaligo de la ontologia pruvo de la ekzisto de Dio, far Gödel, per modala logiko"@eo,
        "formalisation de Gödel de l'argument ontologique pour l'existence de dieu en utilisant la logique modale"@fr,
        "הפורמליזציה של גדל לטיעון האונטולוגי לקיומו של אלוהים באמצעות לוגיקה מודאלית"@he,
        "argomento formale dell'esistenza di Dio"@it,
        "Gödlova formalizacija ontološkega argumenta za obstoj Boga z uporabo modalne logike"@sl ;
    schema1:version 2538725052 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 13 ;
    wikibase:statements 11 ;
    skos:altLabel "ゲーデルの神の存在論的証明"@ja,
        "Godels ontologisch bewijs"@nl,
        "Gödelov ontološki dokaz"@sl ;
    p:P13772 wds:Q598840-4B546CF1-3FC9-4649-B09F-4A12850646FA ;
    p:P138 wds:q598840-539062e1-4746-abc8-9654-6c558fa70de4 ;
    p:P2283 wds:Q598840-3b7e2c6c-4e39-b77e-8ea6-427e4c712af2 ;
    p:P2534 wds:Q598840-b7717f50-4e25-dc00-8c08-49e828254d77 ;
    p:P31 wds:Q598840-9008ae8b-49e2-60a4-e1aa-ed15acea2558,
        wds:Q598840-ce323425-4d2e-daa8-2d99-1534067670fa ;
    p:P575 wds:Q598840-353bab85-4234-ebe5-dab2-cca1f62afcc3 ;
    p:P61 wds:Q598840-2739cb28-4053-bd67-853c-497d71fc1164 ;
    p:P6104 wds:Q598840-759E9671-9BFC-4833-A33C-4FADD2ACC9C8 ;
    p:P6366 wds:Q598840-EF83CFE9-98FC-4E14-AA2C-C771DE6CE0EA ;
    p:P646 wds:Q598840-5F24825C-C3AB-4F89-8EC3-B5C71F0F2621 ;
    wdtn:P6366 <https://makg.org/entity/2778817621> ;
    wdt:P13772 "ontological-proof-of-god" ;
    wdt:P138 wd:Q41390 ;
    wdt:P2283 wd:Q210841 ;
    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\"><mtable columnspacing=\"1em\" rowspacing=\"4pt\" columnalign=\"right left \"><mtr><mtd><mi>A</mi><mn>1</mn></mtd><mtd><mo stretchy=\"false\">(</mo><mi>P</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x2227;</mo><mi>&#x25FB;</mi><mi mathvariant=\"normal\">&#x2200;</mi><mi>x</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>q</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>P</mi><mo stretchy=\"false\">(</mo><mi>q</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>A</mi><mn>2</mn></mtd><mtd><mi>P</mi><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">&#x00AC;</mi><mi>p</mi><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi mathvariant=\"normal\">&#x00AC;</mi><mi>P</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>T</mi><mn>1</mn></mtd><mtd><mi>P</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>&#x25CA;</mi><mi mathvariant=\"normal\">&#x2203;</mi><mi>x</mi><mi>p</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>D</mi><mn>1</mn></mtd><mtd><mi>G</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi mathvariant=\"normal\">&#x2200;</mi><mi>p</mi><mo stretchy=\"false\">(</mo><mi>P</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>p</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>A</mi><mn>3</mn></mtd><mtd><mi>P</mi><mo stretchy=\"false\">(</mo><mi>G</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>T</mi><mn>2</mn></mtd><mtd><mi>&#x25CA;</mi><mi mathvariant=\"normal\">&#x2203;</mi><mi>x</mi><mi>G</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>D</mi><mn>2</mn></mtd><mtd><mi>S</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo>,</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi>p</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x2227;</mo><mi mathvariant=\"normal\">&#x2200;</mi><mi>q</mi><mo stretchy=\"false\">(</mo><mi>q</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>&#x25FB;</mi><mi mathvariant=\"normal\">&#x2200;</mi><mi>y</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">(</mo><mi>y</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>q</mi><mo stretchy=\"false\">(</mo><mi>y</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>A</mi><mn>4</mn></mtd><mtd><mi>P</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>&#x25FB;</mi><mi>P</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>T</mi><mn>3</mn></mtd><mtd><mi>G</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>S</mi><mo stretchy=\"false\">(</mo><mi>G</mi><mo>,</mo><mi>x</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>D</mi><mn>3</mn></mtd><mtd><mi>E</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi mathvariant=\"normal\">&#x2200;</mi><mi>p</mi><mo stretchy=\"false\">(</mo><mi>S</mi><mo stretchy=\"false\">(</mo><mi>p</mi><mo>,</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>&#x25FB;</mi><mi mathvariant=\"normal\">&#x2203;</mi><mi>y</mi><mi>p</mi><mo stretchy=\"false\">(</mo><mi>y</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>A</mi><mn>5</mn></mtd><mtd><mi>P</mi><mo stretchy=\"false\">(</mo><mi>E</mi><mo stretchy=\"false\">)</mo></mtd></mtr><mtr><mtd><mi>T</mi><mn>4</mn></mtd><mtd><mi>&#x25FB;</mi><mi mathvariant=\"normal\">&#x2203;</mi><mi>x</mi><mi>G</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo></mtd></mtr></mtable></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P31 wd:Q11538,
        wd:Q373152 ;
    wdt:P575 "1941-01-01T00:00:00+00:00"^^xsd:dateTime ;
    wdt:P61 wd:Q41390 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2778817621" ;
    wdt:P646 "/m/03855" .