[Logica-l] Re: referências sobre cardinalidade de conjuntos finitos

2023-05-03 Por tôpico 'samuel' via LOGICA-L
(a soma ordinal e a soma cardinal coincidem PARA ORDINAIS FINITOS, na mensagem anterior, claro) Em quarta-feira, 3 de maio de 2023 às 13:34:15 UTC-3, samuel escreveu: > Olá, > > A sua definição é essencialmente a definição da soma ordinal, acertando > aqui e ali um detalhe, > > A questão é que

[Logica-l] Re: referências sobre cardinalidade de conjuntos finitos

2023-05-03 Por tôpico 'samuel' via LOGICA-L
Olá, A sua definição é essencialmente a definição da soma ordinal, acertando aqui e ali um detalhe, A questão é que pode se provar por induçao finita que a soma ordinal e a soma cardinal coincidem. Nos livros de conjuntos, em geral, a cardinalidade é o menor ordinal para o qual o conjunto tem