Sur le probleme fondamental des mathematiques. (Q1834556)

Als Fundamentalproblem der Mathematik bezeichnet Verf. folgende Frage, die sich auf eine beliebige Theorie bezieht, welche auf einem (in näher präzisiertem Sinn) endlichen System von Axiomen aufgebaut ist: Welches ist die notwendige und hinreichende Bedingung dafür, daß ein Satz der Theorie richtig ist, und wie läßt sich ein gegebener richtiger Satz beweisen? Verf. formuliert eine rein mathematische, als verallgemeinertes diophantisches Problem sich darstellende Fragestellung, deren Äquivalenz mit dem obigen Fundamentalproblem er auf Grund der vorstehend besprochenen Note nachweisen zu können angibt. Den Schluß bildet ein Ausblick auf mögliche Anwendungen. (II.)