（命題） 可算個の有限集合の和は可算である（証明） 可算個の有限集合を A1, A2, ... とし， その和集合を S = ∪i Ai とする． S が有限集合のとき 明らかに可算である． S が無限集合のとき Bi ∩ Bj = ∅ (i ≠ j) となるように 以下の規則で新たな集合Biを…