From this, we can manufacture a bijection [ k2N Nk0 ! N0 in the following way. Given a finite sequence v of natural numbers, we use its length, say, k, ...
確定！ 回上一頁
