==Die Sequenzenregeln: Allgemeine Gestalt== Oberhalb des Striches stehen bereits abgeleitete Sequenzen, und unterhalb die daraus ableitbare Sequenz. ===Andere Schreibweise=== notiert. == Regeln des Sequenzenkalküls der Prädikatenlogik erster Stufe mit Identität == Die Regeln des Sequenzenkalküls der Prädikatenlogik erster Stufe mit Identität...