足し算と掛け算しか無いPeano算術に原始再帰的関数全部突っ込んでも本質的には変わらないのでOKという定理ありがたすぎていいな