質問: たかだか可算集合の部分集合はたかだか可算集合である。これを証明するのに選択公理は必要ですか? 写真の たかだか可算集合の部分集合はたかだか可算集合である。これを証明するのに選択公理は必要ですか? 写真の証明では選択公理を使っていませんが良いのですか?
回答: 真部分集合なら証明不要ではないんかの。 「真部分集合の定義から高々可算無限である」と言って良いのとちゃいまっか。