Vier-Farben-Satz. Ein logischer Beweis

In diesem Buch zeigt Michael Thiel, warum sich mit logischen Instrumentarien das Vier-Farben-Theorem bestätigt. In seinem Ansatz zeigt er, dass sich nie fünf Flächen alle zugleich im direkten Nebeneinander befinden können. Es ist daher nicht möglich, dass jede der fünf Flächen zu jeder der vier anderen Flächen eine Grenzlinie besitzt. Dadurch wären mindestens zwei der fünf Flächen nicht durch eine Grenzlinie miteinander verbunden, was für eine Einfärbung bedeuten würde, dass diese beiden die gleiche Farbe bekommen dürfen.
Infolgedessen reichen immer vier Farben aus, egal aus wie vielen Einzelflächen welcher Form auch immer, eine große Gesamtfläche bzw. Karte besteht.