Axiome d'extension

[gaphi]

Bonjour
Je voudrais savoir pourquoi il y a une implication dans l'axiome de l'extension.
Merci
Oui tu as parfaitement compris le sens de ma question.

[GaBuZoMeu]

Curieuse question.

Tu parles de l'axiome d'extensionnalité dans la théorie ZF ou d'autre chose ?

Si oui, quel est le sens de ta question ? Est-ce que c'est "pourquoi l'axiome d'extensionnalité s'écrit

et pas ?"

Enfin là, je joue au devin pour essayer de trouver le sens de ta question.

Peux-tu être plus explicite ?

PS. Parenthèse parasite supprimée. Merci Tournesol;

[tournesol]

Bonsoir GaBuZoMeu
Quand je n'arrive pas a dormir , au lieu de compter les moutons , je compte les parenthèses en séparant les ouvertes des fermées . Tu en as ouvert trois et fermé deux ...
Bonne nuit .