0058132人目の素数さん垢版 | 大砲2021/12/09(木) 22:40:02.43ID:V+pM94xJ >>57 普通のZFCかZFCUか、なんか標準的な体系を想定してるんでしょ そんな噛みつくとこでもない