Completeness of the functional calculus of first order
philosophy and foundations of mathematics
scientific article; zbMATH DE number 3114388