"A Negation-free Proof of Cantor’s Theorem" N. Raja

Notre Dame Journal of Formal Logic, Vol.46, No.2, 2005
これも東京に行っている間に読了。自然数とその部分集合全体との間に1-1対応が存在しないというCantorの定理を、Yablo's paradoxを使って「否定を使わずに」証明する。面白いが、話はこれ以上広がらない。