>>851
＞”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”なる式
＞おれは、こんな式訳分からんぞ

どこがどうわけわからんの？
山ほどあるAの部分集合
{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
の共通集合じゃん

＞積集合∩ は、数学科では自明だ

数学科でなくても、ほぼ自明と思うけど
◆yH25M02vWFhPにとっては自明じゃないっていうんなら
何がどう分からんのか、ここで言ってくれる？