Ich war ja verantwortlich für den bisherigen Text und dachte ursprünglich auch, dass sich das so verkürzen ließe. Aber es lässt sich doch nur zu einer Implikation verkürzen und nicht zu einer Äquivalenz, wie mir aufgefallen ist. Daher habe ich den Text geändert: Jetzt steht nur die äquivalente Implikation als nötiges Axiom da. Wenn ich aber irgendetwas übersehen habe, dann müsstest Du mir das kurz vorrechnen.-- Wilfried Neumaier 14:00, 10. Jun. 2011 (CEST)