0362132人目の素数さん垢版 | 大砲2018/02/05(月) 16:51:15.01ID:zAqmJ+Ax >>350 空集合Φから空でない集合Aへの単射 f:Φ→A が存在するとする。 単射の定義から、f(x)=f(y) を満たすようなΦの点 x,y が存在して、このとき x=y となるから、 Φに属する点が存在することになる。しかし、これは空集合Φの定義に反し矛盾する。 従って、背理法により、空集合Φから A≠Φ なる集合Aへの単射 f:Φ→A は存在しない。