0285132人目の素数さん垢版 | 大砲2024/05/14(火) 20:03:42.67ID:SL8NPmh1 >>280 >あと、いっとくけど、原始帰納的関数ね ということは原始帰納的関数全体は定義の仕方が一定のルールに基づくものだから可算だけれど 何らかの意味で帰納的(人間が帰納的に考えうる)関数全体は可算ではないとか?