>>51
この証明はバナッハ空間とか持ち出してるので
それが同値であることの証明は
弱ケーニッヒの補題が必要になるのかも
逆数学的な視点の話ですが