1. und 2. zusammengenommen sind gleichbedeutend mit - wenn jeder beweisbare Satz, der mit der Regel bewiesen werden kann, auch ohne sie bewiesen werden kann. Sollte man dann vielleicht auch so schreiben, oodrrr? Dhanyavaada 20:53, 23. Nov. 2009 (CET)