>>391-396
やれやれ
文盲かつ 数学音痴かｗ

(参考)
https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
一階述語論理
一階の言語
一階述語論理の言語（一階の言語）は次のものからなる：
論理記号 (logical symbol)
略す

非論理記号 (nonlogical symbol)
1.述語記号と呼ぶ記号の集合（有限集合でも無限集合でもよい）。各述語記号にはアリティ（arity）と呼ぶ引数の個数に相当する正の整数が一つ対応しているものとする[1]。
2.略す
3.略す
一階の言語は、それが等号を持つかどうか、非論理記号に何を持っているかを決めることによって定まる。
例えば集合論においては、等号を持ち、非論理記号としては
アリティ 2 の述語記号 ∈; だけをもつ一階の言語（集合論の言語）が使われる
(引用終り)

ここで ”例えば集合論においては、等号を持ち、非論理記号としては
アリティ 2 の述語記号 ∈; だけをもつ一階の言語（集合論の言語）が使われる”
て書かれていたの分る？ｗｗｗ

これで
述語記号 ∈の話 >>384
”近藤友祐 神戸大学工学部電気電子工学科3 年”
Ｐ71
L∈論理式
”述語論理再び
集合論の”内側" での一階述語論理”
”例えば，L∈ := {∈}として，ZFCに対応する集合ZFC ⊆ SentL∈を考えたりできる”

また >>361-363
渕野 昌「構成的集合と公理的集合論入門」
P22
L∈-論理式φ
と対応している

なので、『アリティ 2 の述語記号 ∈; だけをもつ一階の言語（集合論の言語）が使われる』を、百回音読してね
その上で、アリティ 3以上とか、述語記号 ∈ 以外とか、 ダメダメダメです。これを理解しましょう！！ ｗｗｗ ；ｐ）