, aber nicht exzellent. Ich möchte anregen, mehrere Leserzielgruppen ins Auge zu fassen. Der Abschnitt "Beispiele" richtet sich offenbar an Schüler und interessierte Laien. Ihnen kann man das Lesen und das Verständnis erleichtern, indem man die Rechenschritte verbalisiert und ein paar mehr Worte zu den zu beweisenden Sätzen verliert. Fachleute interessieren sich dagegen vermutlich mehr für die Geschichte und die Zusammenhänge zu Axiomensystemen und mathematischer Logik. Hier macht der Artikel viele knappe Andeutungen; er würde gewinnen, wenn er diese ausführen würde. -- Zipferlak 10:36, 6. Jul. 2010 (CEST)