Häufig werden diese Vorgänge durch Bild- und Tonaufnahmen dokumentiert, um vor allem im späteren Beweisverfahren (Teil des Hauptverfahrens) vorgeführt zu werden.
Dazu untersucht sie die logische Struktur der Theorie(n), dazu Begriffssystem, Grenzen, Entwicklungsmöglichkeiten, Beweisverfahren usw. der Theorie(n), wobei sie sich einer Metasprache bedient.
Die strukturelle Induktion ist ein Beweisverfahren, das unter anderem in der Logik, der theoretischen Informatik und der Graphentheorie eingesetzt wird.