＞原始帰納関数を知らないであろう1さん

1が堅気の人なら知らなくていいぞ（笑

＞ただ>>39を読む限り1さん、…ちょっと不安ですね。
＞消化し切れていないように見えます。

てゆーか、1はそもそも自分でも何を
理解したいのか自覚できてないと思うぞ。

個人的には「数学だ」と意気込まないほうがいい。
多分堅気の人が知りたいことは、証明チェック関数の
”プログラミング”の部分などではないと思う