Re: [obm-l] Axioma da uni�o

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Wed, Jun 15, 2005 at 08:32:42PM -0300, luis bustamante wrote:
> Na teoria dos conjunto, o axioma da uni�o pode ser deduzido a partir dos
> outros?  Voc�s j� viram isso em algum lugar? 
> Um colega me falou assim por cima...eu n�o entendi nada.

O axioma da uni�o � um dos axiomas usuais de ZFC e � necess�rio sim,
ou seja, n�o � consequencia dos outros.

O axioma da uni�o diz que dado X existe W tal que para todo z,
z pertence a W
se e somente se
existe y tal que z pertence a y e y pertence a z.

Os axiomas est�o expostos um por um e explicados nas primeiras
p�ginas de Set Theory, de Thomas Jech.

[]s, N.
=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================