Description:_om is a strongly inaccessible cardinal. (Many definitions of
"inaccessible" explicitly disallow _om as an inaccessible cardinal,
but this choice allows us to reuse our results for inaccessibles for
_om .) (Contributed by Mario Carneiro, 29-May-2014)