Ich habe die Definition und den Quellennachweis hinzugefuegt, ich hoffe das erfuellt die ueblichen standards; meine erster 'groesserer' Beitrag, daher bitte gerne Feedback ;) --Hrehfeld 23:06, 7. Aug 2006 (CEST)
Irgendetwas fehlt mir hier. Wenn für B jede Formel zulässig ist, dann kann ich z.B. A für B nehmen und dann ist die Ausage trival. Der Satz müsste etwa so gehen: Wenn A->C ableitbar dann gibt es ein B mit der Eigenschaft ..., sodaß A->B und B->C ableitbar ist. Ich hab aber keine Ahnung welche Eigenschaft ... hier gemeint sein könnte. --
Motiviert durch obige anonyme Bemerkung habe ich den Satz aus Shoenfields Buch hier dargestellt. Der Algorithmus erscheint mir noch unvollständig und damit falsch. --Gerhard Buntrock 15:17, 3. Apr. 2007 (CEST)