In einer einelementigen Menge (n = 1) von Katzen haben alle Katzen die selbe Farbe Angenommen, alle Katzen einer n-elementigen Menge haben die selbe Farbe. Gegeben sei nun eine n+1-elementige Menge von Katzen. Entfernt man eine Katze A aus dieser Menge, so haben alle Katzen der Restmenge die selbe Farbe (folgt aus Indunktionsannahme). Fügt man Katze A wieder hinzu und entfernt eine andere Katze B, so haben wieder alle Katzen der Restmenge die selbe Farbe Also haben A und B die selbe Farbe und damit alle Katzen der n+1-elementigen Menge Wo liegt der Fehler? :-) Damit A und B überhaupt unterschiedliche Katzen sein können muss die Menge mindestens 2 Elemente haben. Die Behauptung müsste also für n = 2 statt für n = 1 explizit gezeigt werden, daher rührt der Fehler! Ich glaube der Induktionsanfang ist ok. Ich hätte eher gesagt für den Spezialfall A(1)=>A(2) ist der Induktionsschritt nicht korrekt. Sollte man an irgend einer Stelle des Artikels auf die typischen Stolperfallen hinweisen? Wenn ja, wo? Und was für Stolperfallen gibt es sonst noch? -- Prometeus 14:31, 9. Apr. 2005 (CEST)