האם אפשר להוכיח את הטענה שם באינדוקציה, או שאי אפשר להפעיל אינדוקציה על איחוד אינסופי?
:למה הכוונה ב"להפעיל אינדוקציה"? האם ל[https://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%A4%D7%98_%D7%94%D7%A7%D7%95%D7%9E%D7%A4%D7%A7%D7%98%D7%99%D7%95%D7%AA משפט הקומפקטיות] ([https://en.wikipedia.org/wiki/Compactness_theorem Compactness theorem])? האם יש לך דרך יותר ישירה להוכחה? כלומר לפי ההגדרה של חבורה פשוטה.