Talk:Finite Group has Composition Series/Proof 2

I'm almost certain that this use of Zorn's Lemma is unnecessary. Since the group is finite, doesn't it have finitely many subgroups? We should probably prove some sort of Zorn's Lemma for Finite Sets. I need that anyway to prove that finite Boolean lattices have prime ideals. --CircuitCraft (talk) 16:39, 25 August 2023 (UTC)
 * This? Finite_Non-Empty_Subset_of_Ordered_Set_has_Maximal_and_Minimal_Elements --Usagiop (talk) 17:10, 25 August 2023 (UTC)