19/10/10 22:46:12.21 SRlrr+Hl.net
>>610
一階述語論理の集合論では場合の数と言ったメタ概念を扱えないと言っています
普通の集合論みたいにテキトーにやるならそれでもいいのかもしれませんけどね
自然数を何かしらの方法で定義して満足するなら
ぶっちゃけ、高階述語論理はよくわからないんですけど、それなら場合の数を集合論で定義した対象としての自然数として扱えるんですかね
19/10/10 22:46:12.21 SRlrr+Hl.net
>>610
一階述語論理の集合論では場合の数と言ったメタ概念を扱えないと言っています
普通の集合論みたいにテキトーにやるならそれでもいいのかもしれませんけどね
自然数を何かしらの方法で定義して満足するなら
ぶっちゃけ、高階述語論理はよくわからないんですけど、それなら場合の数を集合論で定義した対象としての自然数として扱えるんですかね