Exercise 822Logic, sets and proofs › Countability and cardinalityL1Added 3 Nov 2026
$\mathbb{N}^2$ is countable
#N squared#diagonal#bijection
Statement
Show that is countably infinite.
Hint
Use Cantor's pairing function.
Show solutionHide solution
Solution
Pairing function. is a bijection .
Surjectivity. Every nonnegative integer is uniquely for some (enumerate the diagonals ).
Conclusion. .