theorem Th19: :: GOEDELCP:19

for Al being QC-alphabet st Al is countable holds
CQC-WFF Al is countable