Modallogik/Antiaxiom/Definition

Antiaxiom

Das modallogische Axiomenschema

nennt man Antiaxiom.