Dann muß dieses Prinzip in einem Satz des Kalküls ausgesprochen sein. Und das ist es nicht.