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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
