くるるさん d:id:kururu_goedel の証明方法とか云々より 違います！集合のは、集合というオブジェクトとして等しいという意味です！！外延性の公理があるから全てのに対してが成り立っていればになってくれるというだけです！！！……というのが正しい集合論脳…