Formalism and Hilbert's understanding of consistency problems
model-construction approach to consistency
observational orientation towards consistency problems
scientific article; zbMATH DE number 7373421