Wenn man sagt (wie Brouwer) dass es im Falle (x).Fx = Gx ausser dem Ja und Nein noch den Fall der Unentscheidbarkeit gibt, so heisst das, dass “(x) …” extensiv gemeint ist und man von dem Falle reden kann, wenn alle x eine Eigenschaft zufälligerweise besitzen. In Wahrheit aber lässt sich von diesem Falle überhaupt nicht reden und das “(x) …” in der Arithmetik sich nicht extensiv auffassen.