Sur la logique de M. Heyting. (Q562823)

Aus der Tatsache (die übrigens nicht erst durch \textit{Heyting}, sondern bereits viel früher durch \textit{Brouwer} bekannt ist), daß der Satz vom ausgeschlossenen Dritten vom intuitionistischen Standpunkt aus keinen Widerspruch enthält, leiten Verf. die Folgerung ab, daß man ebenso gut Mathematik mit dem Satz vom ausgeschlossenen Dritten wie ohne ihn treiben dürfe. Es gibt also immer noch Autoren, die in der Leugnung des Satzes vom ausgeschlossenen Dritten das wesentliche Moment des Intuitionismus sehen, und die ihn von da aus angreifen.