>>841
>プログラミング言語を使って
>ペアノ公理よろしく
>n=n+1 として 初期値n＝0を与えて
>プログラムを走らす
こことモデルとどう関係してるか教えて