All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 13:52, 9 September 2023 RhubarbJayde talk contribs created page Kunen's inconsistency (Created page with "Kunen's inconsistency is a theorem proved by Kenneth Kunen which proves that certain large cardinals, which were previously believed to be natural generalizations of weaker large cardinals, are inconsistent. The proof uses the axiom of choice in a crucial way - it is believed that the large cardinals the theorem rules out may still be able to exist in ZF. It originally proved: "there is no nontrivial elementary embedding \(j: V \to V\), the...") Tag: Visual edit