<?xml version="1.0"?>
<!DOCTYPE article
PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20190208//EN"
       "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" article-type="research-article" dtd-version="1.4" xml:lang="en">
 <front>
  <journal-meta>
   <journal-id journal-id-type="publisher-id">Herald of Technological University</journal-id>
   <journal-title-group>
    <journal-title xml:lang="en">Herald of Technological University</journal-title>
    <trans-title-group xml:lang="ru">
     <trans-title>ВЕСТНИК ТЕХНОЛОГИЧЕСКОГО УНИВЕРСИТЕТА</trans-title>
    </trans-title-group>
   </journal-title-group>
   <issn publication-format="print">3034-4689</issn>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="publisher-id">59932</article-id>
   <article-categories>
    <subj-group subj-group-type="toc-heading" xml:lang="ru">
     <subject>Управление, информатика и вычислительная техника</subject>
    </subj-group>
    <subj-group subj-group-type="toc-heading" xml:lang="en">
     <subject></subject>
    </subj-group>
    <subj-group>
     <subject>Управление, информатика и вычислительная техника</subject>
    </subj-group>
   </article-categories>
   <title-group>
    <article-title xml:lang="en">ЛОГИКА ОНТОЛОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА</article-title>
    <trans-title-group xml:lang="ru">
     <trans-title>ЛОГИКА ОНТОЛОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА</trans-title>
    </trans-title-group>
   </title-group>
   <contrib-group content-type="authors">
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Кирпичников</surname>
       <given-names>А П</given-names>
      </name>
      <name xml:lang="en">
       <surname>Кирпичников</surname>
       <given-names>А П</given-names>
      </name>
     </name-alternatives>
     <email>kirpichnikov@kstu.ru</email>
     <xref ref-type="aff" rid="aff-1"/>
    </contrib>
   </contrib-group>
   <aff-alternatives id="aff-1">
    <aff>
     <institution xml:lang="ru">КНИТУ</institution>
     <country>ru</country>
    </aff>
    <aff>
     <institution xml:lang="en">КНИТУ</institution>
     <country>ru</country>
    </aff>
   </aff-alternatives>
   <pub-date publication-format="print" date-type="pub" iso-8601-date="2025-08-01T12:45:56+03:00">
    <day>01</day>
    <month>08</month>
    <year>2025</year>
   </pub-date>
   <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2025-08-01T12:45:56+03:00">
    <day>01</day>
    <month>08</month>
    <year>2025</year>
   </pub-date>
   <volume>15</volume>
   <issue>24</issue>
   <fpage>154</fpage>
   <lpage>155</lpage>
   <history>
    <date date-type="received" iso-8601-date="2023-04-19T15:06:04+03:00">
     <day>19</day>
     <month>04</month>
     <year>2023</year>
    </date>
   </history>
   <self-uri xlink:href="https://vestniktu.ru/en/nauka/article/59932/view">https://vestniktu.ru/en/nauka/article/59932/view</self-uri>
   <abstract xml:lang="ru">
    <p>Представлена простая математическая аналогия онтологического доказательства бытия Божия в классической формулировке Ансельма Кентерберийского, позволяющая выявить логику этого доказательства и показать его принципиальную непротиворечивость.</p>
   </abstract>
   <trans-abstract xml:lang="en">
    <p>The simple mathematical analogy of ontological proof of God's existence in the classical formulation by Anselm of Canterbury is presented. The analogy allows us to reveal a logical structure of this proof and shows its principal consistency. </p>
   </trans-abstract>
   <kwd-group xml:lang="ru">
    <kwd>доказательство бытие Божия</kwd>
    <kwd>Ансельм Кентерберийский</kwd>
    <kwd>proof of God's existence</kwd>
    <kwd>Anselm of Canterbury</kwd>
   </kwd-group>
   <kwd-group xml:lang="en">
    <kwd>доказательство бытие Божия</kwd>
    <kwd>Ансельм Кентерберийский</kwd>
    <kwd>proof of God's existence</kwd>
    <kwd>Anselm of Canterbury</kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <p></p>
 </body>
 <back>
  <ref-list>
   <ref id="B1">
    <label>1.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Франк С.Л. Предмет знания. Об основах и пределах отвлечённого знания / С.Л. Франк. - СПб.: Наука, 1995. - 656 с.</mixed-citation>
     <mixed-citation xml:lang="en">Frank S.L. Predmet znaniya. Ob osnovah i predelah otvlechennogo znaniya / S.L. Frank. - SPb.: Nauka, 1995. - 656 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B2">
    <label>2.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ансельм Кентерберийский Сочинения / Ансельм Кентерберийский. - М.: Канон, 1995. - 400 с.</mixed-citation>
     <mixed-citation xml:lang="en">Ansel'm Kenterberiyskiy Sochineniya / Ansel'm Kenterberiyskiy. - M.: Kanon, 1995. - 400 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B3">
    <label>3.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Кант И. Собрание сочинения. Том 3. Критика чистого разума / И. Кант. - М.: ЧОРО, 1994. - 678 с.</mixed-citation>
     <mixed-citation xml:lang="en">Kant I. Sobranie sochineniya. Tom 3. Kritika chistogo razuma / I. Kant. - M.: ChORO, 1994. - 678 s.</mixed-citation>
    </citation-alternatives>
   </ref>
  </ref-list>
 </back>
</article>
