Modallogik/Autismusaxiom/Definition

Aus Wikiversity
Autismusaxiom

Das modallogische Axiomenschema

nennt man Autismusaxiom.