ポスト

これに出てくる suc(n) のことで合ってるでしょうか。+0 を定めることによって +1 が導出できて、それが自然数の定義に採用されてる、っていま認識してて、面白いじゃんってなってます pic.twitter.com/3jAzjQnFNa

メニューを開く

田中ひさてる@tanakahisateru

みんなのコメント

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ