- 441 名前：１３２人目の素数さん mailto:sage [2024/12/09(月) 08:45:28.95 ID:ZgEVMTQ3.net]
- >「アリティ 3以上とか、述語記号 ∈ 以外とか、 ダメダメダメです。」
>はZFCのどの公理で規定されてると？
実は別に∈以外の述語記号が現れる論理式を持ち出してもいいんですよ
だって、結局∪とか∩とか⊂とか⊆とか使ってるじゃないですか
それって結局∈による式で定義してるわけだけど
定義式込みだったらOKなわけですから
あと、ZFCの公理で「・・・な集合が存在する」という形で記載されてる場合
それを使って何らかの命題を証明するには、当然存在例化を使わざるを得ないんですよ
だから存在例化がダメっていってる時点で、ああこいつ何もわかってねぇな、っていわれちゃいますよね
