暇つぶし2chat MATH - 暇つぶし2ch633:132人目の素数さん 19/10/10 22:46:12.21 SRlrr+Hl.net>>610 一階述語論理の集合論では場合の数と言ったメタ概念を扱えないと言っています 普通の集合論みたいにテキトーにやるならそれでもいいのかもしれませんけどね 自然数を何かしらの方法で定義して満足するなら ぶっちゃけ、高階述語論理はよくわからないんですけど、それなら場合の数を集合論で定義した対象としての自然数として扱えるんですかね 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch