We will prove that in any group of horses, all horses are the same color.
We will use induction to prove this claim.
First, we establish a base case for one horse ().
We then prove that if horses have the same color, then horses must also have the same color.
The base case, is trivially true. In a group with
one horse, all horses have the same color.
For the inductive case, assume that horses always are the same color.
Consider a group consisting of horses.
First, exclude one horse and look only at the other
horses; all these are the same color, since this is given by the inductive case.
Likewise, exclude some other horse (not identical to the one first removed) and look only at the other
horses. By the same reasoning, these, too, must also be of the same color.
Since the first excluded horse is in the second set of horses, it is the same color as the non-excluded horses and
by the same logic so is the second excluded horse.
Hence all horses are the
same color.
This proves the inductive case that if any group of horses are the
same color, then so is any group of horses.
Thus, in any group of horses, all horses must be the same color.
Where is the flaw in the logic?
The flaw is in assuming it is possible to find a horse who was not excluded by either of the groups of in the inductive case.
For the two exluded horses to be the same color, there must be a third horse
in the group to compare against.
Thus the induction fails for .