結局、断片的な記述を取り出してx∈xは無いけれど
似た構造を作るという話が出てきただけで
IUTの話への言及は>>923でおしまいね

IUTほとんど関係ない話で何十レスも消費するスレと言われているのも然りだ