« Utilisateur:Thierry Dugnolle/Pensées diverses » : différence entre les versions

Zermelo a formulé son axiome en se gardant bien de préciser quelles sont les formules bien définies, parce qu'il ne savait pas. Pour formaliser la théorie de Zermelo, Fraenkel l'a complétée avec le principe suivant, suggéré par Skolem : toutes les formules d'une théorie pure des ensembles, énoncées avec la logique du premier ordre, sont bien définies. Mais ce dernier principe est-il vrai ? On est en droit d'en douter parce que ces formules peuvent contenir des expressions telles que "pour tout ensemble" ou "il existe un ensemble". Or on ne sait pas déterminer précisément le concept d'ensemble. Qu'est-ce qui est un ensemble ? Qu'est-ce qui n'en est pas un ?

 

 

== L'homosexualité est naturelle ==