the most basic logical categorization is: A or not A.
In other words, something belongs in either A or not A. It cannot belong in both, and it cannot belong in neither, because Not A is everything which doesnt belong in A.
For example, the basic category for theory of existence is: Something exists or nothing exists.
Further development of theory is produced by dividing "Not A" on "B which belongs in not A" and "Not B which belongs in not A".
Now we take "something exists", and from that category, we take "everything which exists". If some things exist, then logically we can make a category "all things which exist".
Now we further divide "all things which exist" on two categories:
- All things which exist which were created
- All things which exist which werent created
In other words, something which exists can be created or not created. there is no 3rd option. It was created or it wasnt created.
If it was created, then: it was created by something or it was created by nothing.
If it wasnt created, then: all things exist without reason or only some things exist without reason
If only some things and not others exist without reason, then: those things need a reason for being special, which contradicts the category, and thus makes this category impossible.
If all things exist without reason, then God exists as long as God is a thing.
Now, back to first category: It was created by something or it was created by nothing.
If something was created by something, then existence of one thing depends on existence of other thing, or thing is self-created.
if thing is self-created, and if all things have ability of self-creating, then God likewise has that ability.
If existence of thing depends on existence of other thing, then this requires first uncaused cause for any existence to exist, so it requires an uncaused creator.
Uncaused creator who created everything is something which has power to create everything.
Likewise, only something with power to create everything could create everything.