Roger,

See attached.

Regards,

Rob.

Attachment: rec.tgz
Description: Binary data

On 11 Jan 2011, at 09:14, Roger Bishop Jones wrote:

> Does anyone have a proof in ProofPower of a bijection 
> between N and N x N.
> Or even an injection from N x N to N?
> 
> Roger Jones
> 
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to