Wenn man sagt (wie Brouwer) daß es im Falle (x) f1x = f2x außer dem ja & nein noch den Fall der Unentscheidbarkeit gibt, so heißt das, daß „(x) …” extensiv gemeint ist & man von dem Falle reden kann, wenn alle x die || eine Eigenschaft zufälligerweise besitzen. In Wahrheit aber läßt sich von diesem Falle überhaupt nicht reden & das „(x)” in der Arithmetik sich nicht extensiv auffassen.