Der algebraische Beweis war die allgemeine Form eines Beweises, den ich auf jede Zahl anwenden kann. Wenn ich auf diesen Beweis hin sage, ich habe demonstriert „es gibt keine chromatische Zahl” dann sagt dieser Satz offenbar etwas anderes als „~(∃n) ∙ Chr n”. Und was sagt dann der Satz: „es gibt eine chromatische Zahl”? Er sollte doch das Gegenteil dessen behaupten was jener Beweis demonstriert. Dann aber sagt er nicht „(∃n) ∙ Chr n”.