0646考える名無しさん垢版 | 大砲2022/10/20(木) 23:25:45.430 >>630 無い事を証明する方法が無ければ 有る事の証明をするしかなくてそれはそのまま無い事の証明につながるね。 ¬A=BならA=¬B