nichtexistenz

Im Sinne der formalen-Logik ist die Nichtexistenz durch eine negative Allgemeingültigkeit charakterisiert:
Wenn es kein Einhorn gibt, dann gilt für alle Dinge: »Sie sind nicht, ein Einhorn«.

Umgekehrt natürlich auch. »Alle Dingen geschehen aus einem Grund« = »Es gibt kein Ding für welches gilt, das Ding geschah ohne Grund«. Wobei ein Philosoph vielleicht »x geschieht aus Grund y« P(x,y) schreiben würde und dann... Naja, ihr seht es eh, nicht wahr?