Another paradox in naive set-theory (Q878158)

Let \((X, <)\) be a well-founded set. Then \((\text{Succ}(X),\prec)\) is the well-founded set which arises from \((X, <)\) by adding an element \(\infty\) to \(X\) which is greater than all elements of \(X\). The author considers a paradox which can be seen as a variant of the Burali-Forti paradox. To this purpose, let \(I_0\) be the ``set'' of all well-founded sets and \(\Sigma:=\sum\{i\mid i\in I_0\}\) their disjoint ordered sum. Then \(\text{Succ}(\Sigma)\) can be mapped \(\prec\)-preserving into \(\Sigma\), which leads to a contradiction.