現代数学の系譜 カントル 超限集合論2

[0435 １３２人目の素数さん 2020/03/11(水) 19:42:21.37 ID:3kv0Qt3e]

>>421
> P→Qの真偽とは無関係に

なんだから
¬Q→¬Pの真偽とも無関係だろうが

>>414
> 時枝の反例足りえているぞ！！ (>>380ご参照)

偽であったら反例にならんだろ