Simbólicamente:

{\displaystyle {\begin{array}{rl}{\text{Ax. 1.}}&\left\{P(\varphi )\wedge \Box \;\forall x[\varphi (x)\to \psi (x)]\right\}\to P(\psi )\\{\text{Ax. 2.}}&P(\neg \varphi )\leftrightarrow \neg P(\varphi )\\{\text{Th. 1.}}&P(\varphi )\to \Diamond \;\exists x[\varphi (x)]\\{\text{Df. 1.}}&G(x)\iff \forall \varphi [P(\varphi )\to \varphi (x)]\\{\text{Ax. 3.}}&P(G)\\{\text{Th. 2.}}&\Diamond \;\exists x\;G(x)\\{\text{Df. 2.}}&\varphi {\text{ ess }}x\iff \varphi (x)\wedge \forall \psi \left\{\psi (x)\to \Box \;\forall y[\varphi (y)\to \psi (y)]\right\}\\{\text{Ax. 4.}}&P(\varphi )\to \Box \;P(\varphi )\\{\text{Th. 3.}}&G(x)\to G{\text{ ess }}x\\{\text{Df. 3.}}&E(x)\iff \forall \varphi [\varphi {\text{ ess }}x\to \Box \;\exists y\;\varphi (y)]\\{\text{Ax. 5.}}&P(E)\\{\text{Th. 4.}}&\Box \;\exists x\;G(x)\end{array}}}

Existe Deus:

Teorema 1: Se unha propiedade é positiva, entón é compatible, i.e., posiblemente exemplificada.

Teorema 2: A propiedade de ser como Deus é compatible.

Teorema 3: Se algo é como Deus, entón a propiedade de ser como Deus é unha esencia daquela cousa.

Teorema 4: Necesariamente, a propiedade de ser como Deus está exemplificada.

Programación do CURSO 2021-2022

Criterios de cualificación para o curso 2021-2022