Ja, als Rekursionsbeweis aufgefaßt, ist der Komplex das allgemeine Schema von Beweisen.