As an afterthought to this question on sets in set theory, and more specifically to the observation that a (first-order) logic requires a meta-language to explain itself (i.e. there is already an ...
$0$ is finite. If $n$ is finite, then $n+1$ is finite. Hence, by induction, all numbers are finite. What is the catch?