Last Updated：2025/11/21
The researcher proved that the function is primitive recursive by explicitly constructing it from the zero function, the successor function, and the projection functions using only a finite number of compositions and recursive steps.
See correct answer
The researcher proved that the function is primitive recursive by explicitly constructing it from the zero function, the successor function, and the projection functions using only a finite number of compositions and recursive steps.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
研究者は、その関数が零関数・後続関数・射影関数から合成と再帰を有限回適用することで構成できることを示し、原始再帰的であると証明した。
