Fondements de la métamathématique rationnelle. (Q2624142)

Die vorliegende Arbeit stellt die Grundlegung zur Formalisierung der Metamathematik (allgemeiner: der Semantik) dar. Aufgabe der Semantik ist die Untersuchung der in einem gegebenen Kalkül vorkommenden Ausdrücke, diese ausschließlich als formale Zeichenreihen aufgefaßt. Die formale Semantik geht von wenigen Grundbegriffen aus, deren wichtigster der folgende ist: \((EFGB) =\) ``ersetzt man im Ausdruck \(E\) den Teilausdruck \(F\) durch \(G\), so entsteht \(H\)''. Die Verf. gelangen in der vorliegenden Arbeit bis zur formalen Charakterisierung der Klassen und Relationen der verschiedenen Typen.