Liste des Groupes | Revenir à s logic |
On 2024-08-16 22:16:59 +0000, olcott said:All they did was (as I already said) was redefine the notion of a set.
On 8/16/2024 5:03 PM, Richard Damon wrote:That is not sufficient. They also had to Comprehension.On 8/16/24 5:35 PM, olcott wrote:>On 8/16/2024 4:05 PM, Richard Damon wrote:>On 8/16/24 4:39 PM, olcott wrote:>>>
ZFC didn't need to do that. All they had to do is
redefine the notion of a set so that it was no longer
incoherent.
>
I guess you haven't read the papers of Zermelo and Fraenkel. They created a new definition of what a set was, and then showed what that implies, since by changing the definitions, all the old work of set theory has to be thrown out, and then we see what can be established.
>
None of this is changing any more rules. All
of these are the effects of the change of the
definition of a set.
>
No, they defined not only what WAS a set, but what you could do as basic operations ON a set.
>
Axiom of extensibility: the definition of sets being equal, that ZFC is built on first-order logic.
>>This one is the key that conquered Russell's Paradox.
Axion of regularity/Foundation: This is the rule that a set can not be a member of itself, and that we can count the members of a set.
>
If anything else changed it changed on the basis of this change
or was not required to defeat RP.
This is added to keep most of Comprenesion but not Russell's set.Axiom Schema of Specification: We can build a sub-set from another set and a set of conditions. (Which implies the existance of the empty set)
Les messages affichés proviennent d'usenet.