>>165
|Q|=2|Q|って選択公理使わず証明できる?