E 1 , E 2 , ... , E n − 1 , E n ⊢ S
deduction theorem
Deduktionstheorem
theorem
mathematischer Satz
Folgerungstheorem