Problem #PRU-5078

Problems Discrete Mathematics Set theory and logic Mathematical logic Methods Mathematical induction

Problem

Theorem: All people have the same eye color.

"Proof" by induction: This is clearly true for one person.

Now, assume we have a finite set of people, denote them as a1,a2,...,an, and the inductive hypothesis is true for all smaller sets. Then if we leave aside the person a1, everyone else a2,a3,...,an has the same color of eyes and if we leave aside an, then all a1,a2,a3,...,an1 also have the same color of eyes. Thus any n people have the same color of eyes.
Find a mistake in this "proof".