"implicit set theorem" Deutsche bedeutung