Consistency, optimality, and incompleteness
scientific article; zbMATH DE number 6476480