Brouwer hat recht, wenn er sagt, dass die Eigenschaften seiner Pendelzahl sich nic nicht mit dem Satz vom ausgeschlossenen Dritten vertragen. Nur ist damit keine Besonderheit der Sätze von den unendlichen Aggregaten aufgedeckt. Dem liegt vielmehr zugrunde, dass die Logik zur Voraussetzung hat, dass es nicht a priori – also logisch – unmöglich sein darf, zu erkennen, ob ein Satz wahr oder falsch ist. Ist nämlich die Frage nach der Wahr- oder Falschheit eines Satzes a priori unentscheidbar, dann verliert der Satz dadurch seinen Sinn und eben dadurch verlieren für ihn die Sätze der Logik ihre Geltung.

✓ / \