>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
(引用終り)

ふっふ、ほっほ
あのな、それよりか
下記 Colin McLarty https://arxiv.org/abs/1102.1773
の圏論のロジック（矢印図）読めるのか？ キミはｗｗ　（＾＾；
どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ

いまどきは
圏論のロジック（矢印図）の方が重要だと思うよ
（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）

　>>250 より再録
Colin McLarty has looked into this
The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325,
doi:10.1017/S1755020319000340, https://arxiv.org/abs/1102.1773