Liste des Groupes | Revenir à s logic |
On 2024-08-17 17:22:14 +0000, olcott said:I accept whatever process of fully integrating the
On 8/17/2024 12:13 PM, Richard Damon wrote:You needn't. It is provable in naive set theory that no set can be>>
But usable, until integrated into a Formal Logic system.
>
No. Just tacking it on at the end of set theory gets rid of RP.
a member of itself. The problem is that in naive set theory you can
also prove that there is a set that is a member of itself. Adding
new definitions or axioms don't affect either proof. In order to
remove a proof you must remove an axiom.
Les messages affichés proviennent d'usenet.