"well-ordering theorem" Deutsche bedeutung