История изменений
Исправление cvs-255, (текущая версия) :
думаю лучше так:
множество натуральных чисел содержит единицу. класс, кроме единицы, содержится тогда и только тогда, когда при вычитании из любого его представителя любого его подмножества, кроме пустого, получается представитель другого класса, содержащегося в множестве.
Алеф-0 при этом успешно выкидывается, т.к. из множества мощности N можно вычесть ненулевое подмножество так, что все равно останется множество мощности N, т.е. представитель того же класса
Исправление cvs-255, :
думаю лучше так:
множество натуральных чисел содержит единицу. класс, кроме единицы, содержится тогда и только тогда, когда при вычитании из любого его представителя любого его подмножества, кроме пустого, получается представитель другого класса, содержащегося в множестве
Исходная версия cvs-255, :
думаю лучше так:
множество натуральных чисел содержит единицу. класс, кроме единицы, содержится тогда и только тогда, когда при вычитании из любого его представителя любого его подмножества, кроме пустого, получается представитель другого класса.