User blog comment:Vel!/A medley of countability proofs/@comment-5029411-20130516233018/@comment-25418284-20130517191016

Ikosarakt, that's what Kleene's O is for :)