SiF es una instrucción o regla (y por lo tanto una secuencia finita de símbolos deX), entonces hayN∈N tal queF∈XN. Así se ve fácilmente que el conjunto de...SiF es una instrucción o regla (y por lo tanto una secuencia finita de símbolos deX), entonces hayN∈N tal queF∈XN. Así se ve fácilmente que el conjunto de todas las instrucciones posibles para los elementos deNN,I, satisface I⪯⋃N∈NXN.PorqueN∈N,XN es el producto directo deN factores deX, y por Teorema6.20,|XN|≤ℵ0. El conju…