Last Updated:2022/12/24
The natural numbers N may be defined by corecursion as 0∪n+1|n∈ N.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)
The natural numbers N may be defined by corecursion as 0∪n+1|n∈ N.