Bonjour à tous,
J'ai trouvé dans un document sur la théorie des ensembles cette formulation de l'axiome de formation :
.
Mais pour moi, cette formulation est incompréhensible, alors je suis allé voir sur wikipédia, où se trouve une autre formulation de l'axiome de formation, et je pense qu'il y erreur dans ce qui est écrit plus haut. Je pense qu'il s'agit plutôt de :
Quelqu'un pourrait-il me dire si j'ai bien raison ?
Merci d'avance,
Phys2
If your method does not solve the problem, change the problem.
Bonjour,
Il s'agit de l'axiome de fondation dont la bonne formulation est bien :Envoyé par Phys2
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Une seconde question en passant : comment l'axiome de fondation implique-t-il qu'il n'existe pas d'ensemble x tel que
If your method does not solve the problem, change the problem.
Effectivement, désolé pour le lapsus, je voulais bien parlé de l'axiome de fondation...
If your method does not solve the problem, change the problem.
Parce que x n'est pas vide et que {x} inter x n'est pas vide ce qui est contradictoire avec l'axiome de fondationUne seconde question en passant : comment l'axiome de fondation implique-t-il qu'il n'existe pas d'ensemble x tel que
Aussi, puisque l'absence de suite infinie est une conséquence de l'axiome de fondation.Je pense que c'est parce que l'on peut écrire une suite infinie d'appartenance :
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
D'accord, merci Médiat
If your method does not solve the problem, change the problem.
