Stav dette: Das Prinzip des ausgeschlossenen Mittleren