17/08/27 19:59:43.93 x3QS1YHR.net
>>13
スレ主はペアノの公理とか色々書いているけれどもそれだと結局箱が可算無限個あることしか示せないじゃない
サイコロの出目を箱に入れる = anに数字を割り当てる話が一切ない
n+1 = suc(n)などはサイコロの目(1から6までの数字)じゃないですよね？
たとえば an = (n mod 6) + 1 と定義すれば a(n+1) = (suc(n) mod 6) + 1 = ((n+1) mod 6) + 1
なので帰納法により全ての箱に1から6までの数字を入れることはできる(が規則的なので数当ては可能)