自然数の定義を淡々と述べるものです. 過度な期待はしないでください. 1. 構造としての自然数の定義 1.1. Dedekind による定義 空でない集合 \( \mathbb{N} \) と単射写像 \( \mathop{s}: \mathbb{N} \to \mathbb{N}\) , \( 0 \in \mathbb{N} \) が次のI), I…

（2025/01/03 追記）もう9年近く前の記事なので，わたしが学部生の頃に書いた記事だが，いまだに月に100件くらいはアクセスがあるらしい．今読むといくらなんでもつたなすぎる内容なので，引っ込めようか迷ったのだが，需要があるようなので，ひっこめる前に…

えー, どうもこんばんは. ある日曜数学者です. 勢いで次のような企画に参加してしまいました. www.adventar.org 主催の人とは全く知らない間柄でもないし, 簡単な文章で良いって書いてあるしなぁってんで, 勢いで参加ボタンを押しちまいました. いやぁ, 用事…