История изменений
Исправление a--, (текущая версия) :
А зачем аксиома о равенстве, да еще такая стремная?
Если это специально не запретить, то может быть например что 7=3. Можно было неформально написать, что «равны те и только те объекты, которые равны по построению через 1 и next», но я это написал более формально.
А в случае действительных чисел равенство исключительно по построению не прокатывает, например 0.999999... = 1.000000...
Исправление a--, :
А зачем аксиома о равенстве, да еще такая стремная?
Если это специально не запретить, то может быть например что 7=3. Можно было неформально написать, что «равны только те объекты, которые равны по построению через 1 и next», но я это написал более формально.
А в случае действительных чисел равенство исключительно по построению не прокатывает, например 0.999999... = 1.000000...
Исправление a--, :
А зачем аксиома о равенстве, да еще такая стремная?
Если это специально не запретить, то может быть например что 7=3. Можно было написать, что «равны только те объекты, которые равны по построению через 1 и next».
А в случае действительных чисел это не так, например 0.999999... = 1.000000...
Исходная версия a--, :
А зачем аксиома о равенстве, да еще такая стремная?
Если это специально не запретить, то может быть например что 7=3. Можно было написать, что «равны только те объекты, которые равны по построению». Ведь в случае действительных чисел это не так, например 0.999999... = 1.000000...