theorem Th18: :: GOEDELCP:18

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