Hat man eine endliche Folge von Sätzen so dass jeder Satz, der dem letzten Satz vorausgeht entweder eine Prämisse ist, oder eine Definition oder ein Grundsatz (Axiom) oder aber ein Satz ist, der aus vorausgehenden Sätzen durch eine direkte Schlussregel gewonnen wurde, dann bezeichnet man eine solche endliche Folge von Sätzen eine Ableitung für . Kommen in einer solchen Ableitung keine speziellen Prämissen vor, sondern nur Grndsätze und Definitionen, dann handelt es sich bei einer solchen Folge um einen Beweis und der letzte Satz in dem Beweis heisst beweisbar bzw. heisst auch analytisch bzw. tautologisch. Heute schreibt man für die ableitbarkeit eines Satzes auch , und für die Beweisbarkeit von aus einer leeren Prämissenmenge .
Vor diesem Hintergrund führt Carnap noch ein paar weitere Begriffe ein:
Gerd Doeben-Henisch 2010-12-16