0626132人目の素数さん垢版 | 大砲2017/12/17(日) 18:29:36.84ID:fnZuYwJ/ たしか選択公理までは必要なくRが整列できればよかったと思う どちらにせよ具体的にはならないけど