Modallogik/Euklidisches Axiom/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Euklidisches Axiom

Das modallogische Axiomenschema

nennt man euklidisches Axiom (oder Axiom ).