カントールの対角線を使用して、すべての1つの引数関数の集合を可算できないことを証明できます。例えば
1 2 3 4 5 6 7 ......
f1 10 12 23 1 3 12 3 ......
f2 15 6 7 8 9 11 4 ......
f3 14 2 4 3 3 4 5 ......
f4 12 2 3 5 1 20 56 .....
.
.
.
すべての関数f1からfnに対して、すべての引数を渡すことができ、いくつかのnに対して1からnを渡すことができます。次に、対角値を取得し、対角値に1を追加すると、1つの引数関数をすべてカウントできないことを証明できます（対角値を変更すると、リストされていない一意の行が生成されるため）
2つの引数関数も数える特定の方法があるのだろうか??..
ありがとう..
私は答えを見つけたと思います。誰かが興味を持った場合に備えて、私は答えを書いています。
正の整数のすべてのペアが可算であることが証明できます。下記参照
(1,1) (1,2) (1,3) (1,4) (1,5) (1,6).....
(2,1) (2,2) (2,3) (2,4) (2,5) (2,6).....
(3,1) (3,2) (3,3) (3,4) (3,5) (3,6).....
(4,1) (4,2) (4,3) (4,4) (4,5) (4,6).....
.
.
.
したがって、カンターのジグザグから、それらが可算であることが証明できます。この本の8ページを参照してください。http：//www.scribd.com/doc/51068193/3/Enumerable-Sets
(1,1) (1,2) (2,1) (1,3) (2,2) (3,1) ....
したがって、問題は次のように記述できます。
(1,1) (1,2) (2,1) (1,3) (2,2) (3,1)
f1 10 12 23 1 3 12 ......
f2 15 6 7 8 9 11 ......
f3 14 2 4 3 3 4 ......
f4 12 2 3 5 1 20 ......
.
.
.
カントールの対角線の知識によって、2つの引数関数すべてを可算にすることはできないと主張することができます。
2つの引数関数も数える特定の方法があるのだろうか??..
2つの引数関数を数える特定の方法があるのだろうか？（「また」は、1つの引数関数用に存在することを意味します）。
可算でない集合のサブセットも常に可算でない場合は、2番目のパラメーターを定数に固定する（本質的に1つの引数関数と等しくなる）すべての2つの引数関数のセットのサブセットを使用できます。 ）。しかし、私はこの仮定が真実であるとは思えません。
ダイアグラムに関するいくつかの重要な前提条件（任意に選択されていないため、fnがどのように構築されるか）を省略したと思います。たぶんそれらを調べることはあなたを手がかりに導くでしょう？これは宿題の質問だと思いますか？スタックオーバーフローで宿題の質問を投稿したり、大学で他の誰かに解決させたりすることは許可されていますか？