New foundation of formal metamathematics.
type: Item
instance of: scholarly article
title: New foundation of formal metamathematics.
zbMATH Open document ID: 64.0029.05
DOI: 10.2307/2267504
author: W. Hetper
author: Leon Chwistek
publication date: 1938-01-01T00:00:00Z
review text: Die Verf., bekannt durch verschiedene Arbeiten, die den rein formalen Aufbau der Metamathematik zum Gegenstand haben (vgl. die in JFM 61.0977.* bei der Besprechung von \textit{W. Hetper}, C. R. Soc. Sci. Lett. Varsovie Cl. III. 27 (1934), 9-26 angegebene Literatur) geben hier einen auf denselben Grundsätzen beruhenden Aufbau dieser Art, der gegenüber den früheren verschiedene wesentliche Vereinfachungen aufweist, u. a. einen sehr eingeschränkten Gebrauch des zum Aufbau eines formalen Systems nun einmal erforderlichen Bruchstücks der natürlichen Sprache. In dieser formalen Metamathematik findet z. B. das bekannte \textit{Gödel}sche Theorem seinen formalen Ausdruck und läßt sich auch rein formal beweisen.
zbMATH DE Number: 2514656
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2267504
OpenAlex ID: W2100370904
published in: Journal of Symbolic Logic
description: scientific article