∩は、集合の積で intersection 上記の Axiom of infinity ”Informally, what we will do is take the intersection of all inductive sets. More formally, we wish to prove the existence of a unique set W such that ∀x(x∈W↔∀I(Φ(I)→x∈I)). (*)” における Informally ”take the intersection of all inductive sets.”を なんか勘違いして だれかが書いたと思うんだよね ところが、この『N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}』を 必死で擁護するやつが いるんだ 自分が書いた式でもないし
繰り返すが en.wikipedia Axiom of infinity ”Extracting the natural numbers from the infinite set”では ”More formally, we wish to prove the existence of a unique set W such that・・”と ”∩”を 使ってないよと指摘したら、発狂する人がいるんだｗ 自分で書いた式でもないだろうし、intersection は en.wikipedia では ”Informally”なのに・・ｗｗ（＾＾ 以上
