Forum de Mathématiques: Maths-Forum

Et est-ce qu'on peut construire {(1, 2), {(1, 2, 3)}} ?

A++

Tout à fait, mais précisément je me demande si est un ensemble qu'on a le droit de construire.

A++

Bonjour à tous. Je me demandais s'il était licite de construire un ensemble dont les éléments n'ont pas le même type. Par exemple, est-ce que la théorie des ensembles admet un ensemble comme {(1, 2), (1, 2, 3)} (qui contient un doublet et un triplet) ?

A++

Je vous remercie pour vos réponses !

A++

Merci beaucoup, j'y avais pensé, mais je croyais que était strictement la même chose que , autrement dit qu'un élément de avait la forme (x, y, z) et non (x, (y, z)).

A++

Bonjour à tous. Je me demandais comment on exprimait le type d'un n-uplet qui contenait un n-uplet. Par exemple le type d'un couple d'entiers naturels est \mathbb{N}^2 ou \mathbb{N} \times \mathbb{N} . Mais comment exprime-t-on le type d'un couple dont le premier élément est un entier naturel et le ...

A vrai dire je n'avais pas vu les commentaires de l'article de Wikipedia, je vous l'avez donné afin que vous ayez sous les yeux les axiomes auxquels je faisais référence, puisqu'en ce qui me concerne je les avais dans mon livre. Effectivement je crois que pour démontrer le 21ème axiome de Hilbert, i...

Bonjour à tous. Je suis un étudiant en philosophie et j'ai un problème que j'aimerais vous soumettre. La question m'est venue à la lecture d'un ouvrage sur les fondements des mathématiques. Vous trouverez sans doute que c'est simple, mais j'avoue qu'en ce qui me concerne, je suis bloqué. Je ne parvi...