最終更新日：2025/11/25
When formalizing arithmetic, we often introduce an axiom scheme to capture all instances of induction in a single metamathematical formula.
正解を見る
When formalizing arithmetic, we often introduce an axiom scheme to capture all instances of induction in a single metamathematical formula.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
