2.2 Folgern

Definition Folgern 
Modell 
Folgern 
Eigenschaften Folgern 
Definition Hüllenoperation 
Endlichkeitssatz 
Bedeutung Endlichkeitssatz 
Bedeutung Endlichkeitssatz V2 
Ableitbarkeitstheorem 
Deduktionstheorem 
Beweis Monotonie 
Beweis Abgeschlossenheit 
Beweis Deduktionstheorem 
Beweis Ableitbarkeitstheorem