Countable Sets

以及 diagonal method，出現在《Introduction to the Theory of Computation, 2/e》之內！另外該章也證明 N⁺ = {n | n >= 0, n \in Z} 在加法及乘法下的形式系統不完備，也就是 Gödel 不完備定理的一個 instantiation，in terms of Turing Machines！詳細情況再看看。

--
和高微有點連接了。