Es ist nicht zu beweisen, aber auch nicht abzuweisen.
Arbeitsgruppe Logik