The choiceless cardinals are inconsistent | Hacker News Reader