alex_dorin |
о сравнении мощностей очень простых множеств в ZF  20.11.2013, 19:29 |
|
08/03/11 273
|
Верно ли утверждение в ZF, что мощность любой неупорядоченной пары всегда больше мощности любого синглетона ?
|
|
|
|
 |
Joker_vD |
Re: о сравнении мощностей очень простых множеств в ZF  20.11.2013, 19:41 |
|
Заслуженный участник |
 |
09/09/10 3729
|
Приведите определение пары, они разные бывают.
|
|
|
|
 |
alex_dorin |
Re: о сравнении мощностей очень простых множеств в ZF  20.11.2013, 19:47 |
|
08/03/11 273
|
Пара - это то множество, существование которого утверждается в аксиоме пары в ZF. ps у меня напряг с LaTex
|
|
|
|
 |
|
Страница 1 из 1
|
[ Сообщений: 3 ] |
|
Модераторы: Модераторы Математики, Супермодераторы