In Just Weese on page 197 there are the following corollaries:
Regarding Corollary 24: Is this a typo and should say "$CON(ZF) \not\rightarrow CON(ZF + \exists \text{ "a strongly inaccessible cardinal."})$"?
I can't see anything wrong with the implication "$CON(ZF) \rightarrow CON(ZF + \text{ "there are no strongly inaccessible cardinals."})$".
Many thanks for your help.