Все лошади одного цвета Опции

[Shasta Dam]

Я могу доказать, что все лошади одного цвета.

По индукции:

База индукции: Одна лошадь, очевидно, одного цвета.
Шаг индукции: Пусть доказано, что любые K>=1 лошадей всегда одного цвета. Рассмотрим K + 1 каких-то лошадей. Уберём одну лошадь. Оставшиеся K лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберём какую-то другую. Оставшиеся K лошадей снова будут одного цвета. Значит, все K + 1 лошадей одного цвета. По индукции, все лошади одного цвета.



Где ошибка?

[Ayoni]

Уберём одну лошадь. Возвратим убранную лошадь и уберём какую-то другую. Оставшиеся K лошадей снова будут одного цвета.

Так первоначально удаленная и потом возвращенная лошадь по условию какого-то другого цвета, следовательно, если ее примкнули к изначальному множеству, оно уже не будет одинаковым. Т.е. в нем будет одна лошадь, по увету отличающаяся от остальных