WCt377N61X https://blog.hatena.ne.jp/WCt377N61X/ Legalscapeテックブログ https://tech.legalscape.co.jp/ TypeScript Legalscape のしろくまです。 自然数の集合論的定義（フォン・ノイマンの構成）は空集合の公理と無限の公理を利用して 以下のようになります。 0 = ∅ 1 = {0} = {∅} 2 = {0, 1} = {∅, {∅}} 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}} ・・・ また加算は S(n) = n ∪ {n} としたとき、以下のように再帰的に定義されます。 A + 0 = A A + S(B) = S(A + B) しかしながら以上の説明で物事が理解できるのは1 + 1 = 2を証明できる人だけなので、皆さまのお子様は満足しないかもしれません。 ところで… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftech.legalscape.co.jp%2Fentry%2F2025%2F11%2F28%2F155741" title="1 + 1 = 2 をプログラミングで理解する - Legalscapeテックブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-11-28 15:57:41 rich https://tech.legalscape.co.jp/entry/2025/11/28/155741 1.0 100%