>a clear violation of the axiom of foundation
ずーっと言われ続けてることですが、setaや望月氏の、
公理が何かを禁じてるという見方はおかしいっすね
特に基礎の公理で言えば
それこそ「ZFC-基礎の公理」の保存拡大なんだから
「基礎の公理に反するから矛盾」なんて言わないよね