benito-gross documents

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