Especificando la definición de omnipotencia.

Cuando definimos la omnipotencia, y afirmamos (siendo x un ser omnipotente, y φ, ψ dos predicados de acción no contradictorios -no el predicado contradicción) que x puede hacer cualquier cosa que no implique contradicción lógica, esto significa que x puede hacer φ, que x puede hacer ψ, pero que también x puede ejecutar la acción determinada por φ ˄ ψ, si esta conjunción es no contradictoria, puesto que la conjunción de dos predicados de acción es un predicado de acción, dado que la clase de todos los predicados de acción es cerrada bajo conjunción lógica.

Otra cuestión es que un determinado ente o individuo pueda hacer el predicado conjunción lógica no contradictoria de dos predicados de acción no contradictorios. En el caso del ser omnipotente, esto es siempre posible, pues, dado cualquier conjunto, finito o infinito, de predicados de acción no contradictorios:


{φ_i}_{i ε I}

se verifica que dicho ser omnipotente puede ejecutar la acción simbolizada por (¹)

˄{φ_i}_{i ε I}

es decir, puede ejecutar la acción expresada por la conjunción lógica de todos los predicados del conjunto anterior (siempre que dicha conjunción sea, a su vez, no contradictoria, no sea lógicamente equivalente al predicado contradicción). O, dicho de manera formal, si x es omnipotente y, para todo i ε I, se verifica que ◊φ_ix, entonces también se verifica que:


◊˄{φ_i : i ε I }x

---

¹I es un conjunto de índices arbitrario, finito o no.