数学基礎論・数理論理学　その20

1１３２人目の素数さん

2026/06/27(土) 22:20:03.90ID:12JI7Rbu

ゲスですw

303１３２人目の素数さん

2026/10/04(日) 15:18:08.79ID:WaOzY+70

みんな大好きお兄さんのまったり集合論（数理論理学）・確率論勉強スレ
rio2016.5ch.io/test/read.cgi/math/1791094141/

ヨロピク

304１３２人目の素数さん

2026/10/04(日) 15:26:17.13ID:GQKMgj/z

ヨロピクリン。
☆（ゝω・）vｷｬﾋﾟ

305１３２人目の素数さん

2026/10/04(日) 22:54:51.89ID:NK/LDsfv

>>286
>Ⅱ（連言クラス）
A∩B
>Ⅲ（否定クラス）
cA
>Ⅳ（ドメインクラス）
Dom(A)
>Ⅴ（直積クラス）
A×V
>Ⅵ（巡回置換クラス）
A^σ
>Ⅶ（互換クラス）
A^T

306１３２人目の素数さん

2026/10/04(日) 22:56:19.01ID:NK/LDsfv

しかし
これらって
クラスを引数にする函数みたいなのを考えてるってことよな
それってありなん？
公理にしてるんだからアリなのか？

レスを投稿する