坂本九「 柳生十兵衛「 数学的帰納法により、常に名前nを名乗ろうとしてn+1を求められるようになり、無名となる