25/11/05 23:27:10.30 BZV1IQOW.net
>>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 URLﾘﾝｸ(arxiv.org)
の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
いまどきは
圏論のロジック（矢印図）の方が重要だと思うよ
（例えば 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, URLﾘﾝｸ(arxiv.org)