User blog comment:Wythagoras/Infinite state ITTMs/@comment-1605058-20140529101255/@comment-80.98.179.160-20180125204120

It's possible there're aleph-1 machines, but this is independent from ZFC.