{{},{{}},{{{}}},…}（要素が無限個）は基礎の公理を満たします

というのは、上記の「集まり」のどの要素も、
有限回{}が重なったシングルトンであり、
基礎の公理を満たすので