New Foundations is consistent

A.2 Cardinal arithmetic

Lemma A.6 mathlib

Let #μ be a strong limit cardinal. Then there are precisely #μ-many subsets of μ of size strictly less than cof(ord(#μ)).

Proof