talk:>>75 有限生成でなくてもか?選択公理が無くても証明できるのか?