Exercise 419Logic, sets and proofs › Countability and cardinalityL1Added 3 Nov 2026
$\mathbb{Z}$ is countable
#integers#countability#bijection
Statement
Show that is countably infinite.
Hint
Interleave nonnegative and negative integers.
Show solutionHide solution
Solution
Bijection. Define by
Check. , , , , , etc. Injective and surjective.
Conclusion. .