First order logic, set theory and God

[polymath257]

Once again, what allows you to construct the system V in this 'proof'? What set theory are you using?

The problem is that sets of the type of V are *known* to not be constrictible in most standard set theories: they lead to inconsistencies like Russell's paradox or Cantor's paradox. They are 'too big' to be sets.

So, unless you give *first order* axioms allowing for the construction of your system V, you have no proof.

Good luck.

Next, your axiom of sufficiency is way, way too strong. In all likelihood, the *most* that we can say is that all *finite* phenomena have causes (whether themselves or another). But, if this is the case, then there is no guarantee your system V (even if you can construct it) will have a cause since it is likely that V is an infinite system.

Also, remember that constructing infinite systems is not a first order process in general.

The way the proof avoids Russell's paradox boils down to how concepts are defined and classified.


It is crucial to understand that with respect to composition, we have a hierarchy of complexity.

Let us define the words - componential as the attribute of being a component and composite as the attribute of having components.

1- At the lowest level is the componential non-composite entity A which is a component but does not have any component, such that x∉A∈B, for some B.

2- Next, are componential composite entity A which both have components and are components, such that E∈A∈B, for some E and B,

3- Finally, you have the non-componential composite entity A which have components but is never a component of anything, such that B∈A∉x, for some B.


Now according to the above definitions, V can be defined as the whole of reality which is that non-componential composite entity whose components are precisely all existing entities who are necessarily componential and can either be composite or non-composite.

Now according to Russell's paradox, the pertinent question to ask ourselves is if V as the set of all existing componential entities, a componential entity itself and therefore a member of that set?

Well no, since by the very definition of V, it has already been established that it is non-componential. But then one might ask " how can we know that V is non-componential and hence not a component of anything ? " Well because if we assumed V to be componential, then by definition it cannot be the set of all existing componential entities as one will commit the error of Russell's paradox where V becomes a member of the set of all componential entities. Therefore V∈V.

Alternatively we ask, can V as an non-componential entity be the set of all componential entities ? Yes, because non-componential and componential are two distinct categories and thus V can become the set of all existing componential entitities without becoming a member of that set. On that basis, we have completely disqualified V as a universal sets of all sets(and therefore Russell's paradox is not an issue anymore) by restricting V as a set of all sets that satisfies the property that every entity A  of a set is componential.  


As for your argument about the principle of suffiency - your notion V being an infinite system requiring no cause is a baseless assumption, and I would even further argue, that such an assumption can be nullified by the very fact that V is composite. Since we can admit that V does not even exist until all its components exist, then it begs the question as to when will V ever be formed if it would take an infinite amount of time for it components to come into existence ? Never. Thus to entertain V as an infinite system is tantamount to the denial of it's very existence.

See? That's an argument that V cannot exist. Since it is likely that the collection of all events is infinite, this is a wonderful proof of the non-existence of V.
In essence, you are simply denying the possibility of an infinite regress in this. Otherwise, V would be guaranteed to be infinite. You were wondering how that was avoided as I recall.
As for Russell's paradox and others, the construction of sets of the form of V also allows the construction of Russell sets, which leads to a contradiction. The way out is to only allow the formation of finite sets, which eliminates the construction of V.