Ja, ein gesichertes logisches Theorem aber mehr auch nicht