Hallo zurück! In Sachen Formalisierung bin inzwischen bewandert, weil seit einigen Jahre intensiv Logik betreibe. Ich bin der Hauptautor des Artikels in jetziger Form und habe die Riesen-Überarbeitungswelle gemacht, die oben in der Diskussion um das Lesbarkeitsprädikat etwas kommentiert ist. Ich versuche den nicht ganz einfachen Spagat zwischen Logik mit Niveau und Didaktik und greife alle sinnvollen Anregungen auf und baue sie dann an der besten Stelle ein, so auch den didaktischen Formulierungsvorschlag.-- Wilfried Neumaier 20:49, 1. Jul. 2011 (CEST)