Modallogik/Leerheitsaxiom/Definition