图灵机的数量是Aleph几？

raymonshan

在做对角线证明的时候，首先需要枚举，枚举图灵机、枚举wff。
而做枚举的隐含条件就是，集合可以和自然数集合实现双射。即集合的数量是Aleph(0)。

而我认为图灵机、wff的数量至少是Aleph(1)啊。

哥德尔认为是和实数一样多。可如果是这样，怎么枚举？
如果不能枚举，那么不确定性......

求大神解答。