Sur quelques théorèmes d'existence. (Q2593907)

Verf. stellt einen Kalkül auf, in dem Allsätze als Konjunktionen und Existenz\-sätze als Disjunktionen geschrieben werden, und in dem dann auch (abzählbar) unendlich viele Glieder vorkommen können. Auch eine Substitutionsregel wird auf\-gestellt, nach der unendlich viele Glieder gleichzeitig durch neue Glieder ersetzt werden können. Natürlich ist dies kein logischer Kalkül im gewöhnlichen Sinne. Weiter definiert Verf. den Begriff der normalen Formel. Gewisse normale Formeln bezeichnet er als regulär, und für diese soll ein Induktionsprinzip gültig sein. Auf dieser Grundlage beweist er, daß, wenn eine reguläre unendliche Disjunk\-tion beweisbar ist, schon ein angebbarer endlicher Teil davon beweisbar ist. Da die Betrachtungen zu knapp und unscharf formuliert sind, war es dem Ref. unmöglich, sich von ihrer Richtigkeit zu überzeugen oder zu verstehen, wie sie es ermöglichen sollten, reine Existenzsätze konstruktiv zu machen.