( card omega in card (bool omega ) & omega = card omega ) by CARD_1:30, CARD_1:def 5;
hence omega in continuum by Th29, CARD_2:44; :: thesis: verum