Ist zwar schon zehn Jahre alt und längst aus dem Artikel verschwunden, aber falls sich jemand hierhin verirrt: Der Induktionsanfang n=2 ist deshalb erforderlich, weil Gleichfarbigkeit eine (mindestens) zweistellige Relation und in einer einelementigen Menge nicht definiert ist. Der Fehler liegt hier also nicht in einer falschen Anwendung des Induktionsverfahrens. (Die Begründung oben ist unzutreffend, denn A und B werden aus der n+1-elementigen Menge genommen, und die hat durchaus mindestens zwei Elemente.) -- 00:38, 7. Sep. 2015 (CEST)