An interpolation theorem in the predicate calculus
foundations, philosophy and logic of mathematics
scientific article; zbMATH DE number 3151568