>>449
>基礎の公理では異なる対象による要素ループはできない
同じ対象による要素ループもできませんが

https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86