Just be the worst sinner🇻🇦 :
"God doesn't exist"
ME:
U := set of all entities
E(x) := "x exist"
N(x) := "x exist necesarily"
C(x,y) := "x dipende ontologically from "y"
T ∈ U := time
ASSIOMI
A1: ∃x ∈ U : E(x)
A2: ∃x ∈ U : E(x) ∧ ¬N(x)
A3: ∀x (E(x) ∧ ¬N(x) → ∃y C(x,y))
A4: ∀x∀y (C(x,y) ≠ (y proceds x in T))
A5: ∀x ¬C(x,x)
A6: ∀x∀y (C(x,y) → ¬C(y,x))
A7: ∀x∀y∀z ((C(x,y) ∧ C(y,z)) → C(x,z))
∀i ¬N(xᵢ)
⇒ ¬N({x₁,x₂,x₃,...})
Ass: ∀x ∈ U ¬N(x)
⇒ ∀x ∈ U ∃y C(x,y)
⇒ {x₁,x₂,x₃,...} infinite chain contingent
⇒ ¬N({x₁,x₂,x₃,...})
Contraddiction with E(U)
∴ ∃y ∈ U : N(y)
¬N(T)
N(G)
⇒ G ≠ T
⇒ G ∉ T
G := x be like (N(x) ∧ ∀y ∈ U C(y,x))
Ass: N(G₁) ∧ N(G₂) ∧ G₁ ≠ G₂
⇒ C(G₁,G₂) ∧ C(G₂,G₁)
⇒ ⊥ (A6)
∴ ∃!G : N(G)
Ass: G = a ∪ b
⇒ C(G,a) ∨ C(G,b)
⇒ ¬N(G)
Contraddiction with
∴ G semplice
∀x (¬N(x) → ∃y C(x,y))
¬ regressus ad infinitum
⇒ ∀x (¬N(x) → C(x,G))
mutament(x) → potenziality(x)
potenzialità(G) → ∃y C(G,y)
Contraddiction with N(G)
∴ ¬mutamento(G)
potenziality(G) → dipendence
¬dipendence(G)
⇒ ¬potenziality(G)
⇒ G = pure act
Dio := G be like
N(G)
∃!G
∀x ∈ U C(x,G)
G simple
G atemporality
G immutable
G = pure act
∃G : Dio(G)
QED
U ≠ ∅
E(x) := “x exist”
N(x) := “x exist necessary”
C(x) := E(x) ∧ ¬N(x)
D(x,y) := “x depends ontologicament from y”
∃x E(x)
∀x ( C(x) → ∃y D(x,y) )
∀x∀y ( D(x,y) → ¬D(y,x) )
¬∃{x_n} ( ∀n D(x_n , x_{n+1}) )
C(U)
C(U) → ∃y D(U,y)
∃y₁ D(U,y₁)
C(y₁) → ∃y₂ D(y₁,y₂)
¬∃{U,y₁,y₂,…} ( D(U,y₁) ∧ D(y₁,y₂) ∧ … )
∃y* ( ¬C(y*) )
¬C(y*) → N(y*)
∃y* ( N(y*) ∧ D(U,y*) )
∃z ( z =God )
EZ=GOD
God exist
2026-01-16 22:05:05