Zeige, dass in einem K {\displaystyle {}K} -System, in dem das Axiomenschema
gilt, bereits das Leerheitsaxiom gilt.