EeC8ikNf氏は∈ループについては何も述べていませんね
集合論は知らないのでしょう 
そういう数学者は珍しくありませんが