Inconsistent countable set in second order ZFC and unexistence of the strongly inaccessible cardinals.