Re: [obm-l] uma questao de Logica

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

On Mon, May 26, 2003 at 12:47:48PM -0300, Cláudio (Prática) wrote:
> Oi, Nicolau:
> 
> Concordo com a sua objeção.
> 
> Aliás, como tudo em matemática, é sempre uma questão de se chegar a um
> acordo quanto as regras antes de começar o jogo (acho que essa é a essência
> do método axiomático).
> 
> Quanto à interseção, acho que uma outra forma de se evitar o
> "super-conjunto" é sempre estabelecer (postular?) de antemão a existência de
> um conjunto universo "razoável", do qual todos os demais conjuntos da
> discussão são uma parte. Aí,  a interseção em questão seria igual a este
> universo.

De fato, quase sempre há um conjunto universo razoável ou até óbvio.
Quando discutimos conjuntos de números reais, por exemplo, este conjunto
seria R, claro. Mas justamente em teoria de conjuntos não há um conjunto
universo.

[]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
=========================================================================