Inter-universal geometry と ABC 予想 45

[0983 １３２人目の素数さん 2020/04/04(土) 11:02:38.65 ID:DZ3hypNA]

>>978
>なぜなら対象が１つも存在しない場合

¬(∃xP(x))等値∀x¬P(x)

存在が一つもないときの否定はすべてのカラスは黒くない

ですよね
いまそんな話はしていません