Stav dette: Zur formalen Charakterisierung des satzes.