История изменений
Исправление a--, (текущая версия) :
А зачем аксиома о равенстве, да еще такая стремная?
А, вот и пошли первые вопросы по делу.
Мне там лень было думать, можно ли корректно определять mul и add без однозначного определения prev (а однозначно его непонятно как определить без вот такого равенства).
Поэтому я вот так определил равенство. Но возможно что 2х2=4 и без него — я не знаю, и если так, то это было бы интересно.
Исправление a--, :
А зачем аксиома о равенстве, да еще такая стремная?
А, вот и пошли первые вопросы по делу.
Мне там лень было думать, можно ли корректно определять mul и add без однозначного определения prev (а однозначно его непонятно как определить без вот такого равенства).
Исходная версия a--, :
А зачем аксиома о равенстве, да еще такая стремная?
А, вот и пошли первые вопросы по делу.