雑談君に問題

1.{{},{{}},{{{}}},…(任意有限重の{}によるシングルトン)・・・}
  は基礎の公理と矛盾するか否か? 
  理由つきで回答されたし

2.上記の集合に関する∈下降列の長さに最大値はあるか否か?
  理由つきで回答されたし