Model theory
Arguments for the existence of God
Ontological argument
Prover9
First-order logic
Argument
Interpretation