इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रत्येक अनंत परिमित रूप से उत्पन्न समूह को गणना योग्य होना चाहिए।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "प्रत्येक अनंत परिमित रूप से उत्पन्न समूह को गिनती योग्य होना चाहिए लेकिन गिनती योग्य समूहों को परिमित रूप से उत्पन्न करने की आवश्यकता नहीं है".