全ての数学から成る数学をXとする。
XはX自身を要素として含むか否か?