背理法不要論ってどうなん？

[0221 １３２人目の素数さん 2018/08/11(土) 18:58:35.93 ID:2h9OPLBs]

>>218
f：A→P(A)を写像とする。
S＝{x∊A：ｘ∉ｆ(ｘ)}
とすればよい。
S∊P(A)だがｆの値域に入ってない。