theorem Th63: :: CLASSES2:63

Rank omega is Tarski