theorem Th20: :: CLASSES4:20

for UN being Universe holds
( not UN is denumerable iff omega in UN )