>>766
勿論、各段階では真の部分加群がとれるんだけど
それを無限回繰り返しうることになるから。
無限集合は可算部分集合を含むことの証明と同じような感じで
やっぱり(可算)選択公理は必要になるんじゃないかな