Modallogik/Antiaxiom/Definition

Aus Wikiversity
Antiaxiom

Das modallogische Axiomenschema

nennt man Antiaxiom.