"completeness proof" Deutsche bedeutung