Alfred Tarski, in his paper "Ueber unerreichbare Kardinalzahlen" Fund. Math. vol 30 (1938) pp 68-89 proves the followig theorem of ZFC "If the cardinal of the set Y is equal to the cardinal of the set of the subsets of Y that are not equipotent with Y, then the cardinal of Y is (strongly) inaccessible". The proof of the paper is rather long and involved.
Question: Is there another known simpler proof of this theorem ?
Gérard Lang



Tarski's caracterisation of inaccessible cardinals
In modern notation, it says, "if $\kappa$ is a cardinal and $\kappa ^{< \kappa} = \kappa$, then $\kappa$ is strongly inaccessible." This isn't entirely true since the antecedent holds for $\kappa = \omega$ but $\omega$ isn't considered strongly inaccessible, but that's not a big deal. More importantly, under CH the antecedent will hold of $\aleph \_1$ but $\aleph \_1$ isn't a limit cardinal. So we need to add the assumptions that $\kappa$ is an uncountable limit cardinal. Given that, we can proceed: 


So let's assume $\kappa ^{< \kappa} = \kappa$. First we show $\kappa$ is strong limit: $\kappa \leq 2^{< \kappa} \leq \kappa ^{< \kappa} = \kappa$. Next we show $\kappa$ is regular: Suppose not, then $\kappa ^{< \kappa} = \kappa < \kappa ^{ \mathrm{cf} ( \kappa) } \leq \kappa ^{< \kappa}$, contradiction.


