Proof that $\left \{ f\in \mathbb{N}^\mathbb{N}\mid f\text{ is injective} \right \}$ is not countable by diagonalization.
Is the set of surjective functions from $\mathbb{N}$ to $\mathbb{N}$ uncountable?