Comment écrire les maths

[invitec053041c]

Il existe des objets mathématiques qui n'appartiennent à aucun ensemble ?
Un ensemble appartient à l'ensemble des ensembles par exemple, non ?
-----

[FonKy-]

D'abord n'est pas un groupe, quant au fond de l'histoire, c'est la différence entre manipuler une théorie et manipuler un modèle de cette théorie.

J'ai jamais dit que IN était un groupe, par contre si on l'évoque on sais dans quoi on travaille non ?

Et pour le cas b) je ne suis pas trop d'accord, comment etre sur qu'il existe des proposition qui soit possible dans tous les domaines possibles et existant :/

[Médiat]

Il existe des objets mathématiques qui n'appartiennent à aucun ensemble ?
Un ensemble appartient à l'ensemble des ensembles par exemple, non ?

L'ensemble des ensembles n'existe pas, par contre un ensemble x appartient à l'ensemble {x}.

[invitec053041c]

L'ensemble des ensembles n'existe pas, par contre un ensemble x appartient à l'ensemble {x}.

Ah d'accord, je pensais...
Pourquoi n'existe-t-il pas? Il apporterait trop de contradictions avec la théorie de Cantor ?

[Médiat]

Et pour le cas b) je ne suis pas trop d'accord, comment etre sur qu'il existe des proposition qui soit possible dans tous les domaines possibles et existant :/

Ce n'est certainement pas cela dont il est question, le mot domaine est ici trop flou, si je remplace cette phrase par "comment être sur qu'il existe des propositions qui soit vraies dans tous les modèles possibles et existant d'une théorie", la réponse est simple : tous les théorèmes de cette théorie si elle est cohérente (sinon la question n'a pas de sens).

[Médiat]

Ah d'accord, je pensais...
Pourquoi n'existe-t-il pas? Il apporterait trop de contradictions avec la théorie de Cantor ?

Le paradoxe de Russel.

[invité576543]

Annulé....

[invitec053041c]

Le paradoxe de Russel.

Oui c'est ce que je me disais également.

Merci à vous deux.


EDIT: mais non mmy, un poste grillé n'est pas un post inutile...la réponse est formulée d'une autre manière, et ça peut aider à la compréhension.

[Gwyddon]

Hello,

Je peux intervenir maintenant Mediat ?

Juste pour dire que je défend tout à fait ton analyse, et je pense en fait que dans le contexte d'où est extrait nos deux propositions, la tienne est plus appropriée puisque non modèle-dépendante.

[Médiat]

Je peux intervenir maintenant Mediat ?

J'attendais avec impatience, depuis que j'ai répondu .