×

zbMATH — the first resource for mathematics

Sur quelques points de la logique de M. Brouwer. (French) JFM 55.0030.05
Aus einem Axiomsystem der intuitionistischen Logik werden durch formales Schließen folgende Sätze gewonnen:
Ist ein logischer Ausdruck klassisch beweisbar, so ist intuitionistisch die Absurdität der Absurdität beweisbar.
Ist die Absurdität eines logischen Ausdrucks klassisch beweisbar, so ist sie es auch intuitionistisch.

PDF BibTeX Cite