"well-ordered set" Deutsche bedeutung