和より積の方が大きい!ケーニヒの定理

和より積の方が大きい!ケーニヒの定理

今回の証明もカントールの定理の証明も対角線論法みたいなやつだったけど対角線論法もっと一般化できないかな4:16 の全射じゃないって選択公理なしで言えるのかな？ここでは選択公理仮定してるから議論には問題ないけど始めの方にいってたYの選択関数があることと同値かもっていうのには影響が出そう