Für |A|=1 ist es wohl klar. Dem einzigen Element wird entweder die eine oder
die eine ( z.B. rot) oder die andere (z.B. blau) Farbe zugeordnet.
Es ginbt also zwei = 2^0 Abbildungen
f1: A → {rot, blau} ; f1(a) = rot
und
f2: A → {rot, blau} ; f2(a) = blau.
Gilt nun die Aussage für alle Mengen X mit |X|=n #
und sei nun A eine n+1 elementige Menge.
Dann ist A nicht leer und enthält also ein Element a.
Und A \ {a} ist eine n-elementige Menge.
Sei nun f eine 2-Färbung von A, dann ist die Einschränkung
von f auf A \ {a} eine 2-Färbung von A \ {a} .
Es gibt also gemäß # genau 2^n verschiedene
Einschränkungen von f auf A \ {a}.
Und f entsteht aus einer solchen Einschränkung entweder
durch f(a) = rot oder durch f(a)=blau.
Also ist die Anzahl der Möglichkeiten für f
2^n * 2 = 2^(n+1) . Also gilt die Aussage auch
für (n+1) - elementige Mengen. q.e.d.