ну то есть выходит та же ZF, только мы всегда говорим "эквивалентно" вместо "равно", ок
Не совсем. Среди последовательностей натуральных чисел, которые не равны в конечном числе элементов, есть последовательности различающиеся только символом натуральных чисел (1A... и 1B...), 1A и 2B могут быть равносоставлены, а редуцировать натуральные числа до единственного символа запретили в С