単なる像の存在と置換公理 ∀f.∀A.∀B.( function(f, A, B)⇒( ∃C.∀y.( y∈C ⇔ ∃x∈A.(y = f(x)) ) ) ) ∀F.( DefinableClassFunction(F)⇒∀A.( ∃C.∀y.( y∈C ⇔ ∃x∈A.(y = F(x)) ) ) ) 太字の変数Fは、集合論の内部の実体を表す変数ではなくて、集合の宇宙の外にある…

論理式が変数xを含まないことを formula A does not mention x と言っている例があった（出典はもう分からん）。mention, mentioning は分かりやすくていいと思う。 Aがxにmentionする ⇔ Aにxが出現する

ストライヒャー〈Thomas Streicher〉が、イプシロニティズム〈epsilonitis〉という言葉を使っていた。 Title: Universes in Toposes URL: "https://www2.mathematik.tu-darmstadt.de/~streicher/NOTES/UniTop.pdf" ∈主義かな。∈主義者はイプシロニティスト〈…