"generalized completeness theorem" Deutsche bedeutung