theorem :: CARD_FIL:29

omega is strongly_inaccessible by Th26, CARD_5:30;