=====   =====

  *
===== 集合の記号。 =====

⊆⊇⊂⊃...部分集合の意。 \\ A⊆Bは、Aのもってる全ての元をBが全てもっているということ。 \\ ⊇も同様。

  *
===== ℕ...自然数全体の集合を意味する。 =====

自然数には、0を含む場合もあれば含まない場合もある。 \\ ここでは、ℕ⁺={1,2,3,...},ℕ={0,1,2,...}とする。 \\ 何方を自然数と呼んでも構わないが、読みやすくするためには、 \\ 先に何方を自然数とするか言っておいた方がいいだろう。 \\ 自然数と正の整数で分けておくのも良いだろう。 \\ また、ここの微分積分学での自然数はℕの方とする。 \\ 自然数とは以下のような特徴を持つ。

<blockquote>

・ペアノの公理(0を1に書き換えるとℕ⁺の構成になる。)

  - 0∊ℕ (0は自然数である。)
  - ∀n∊ℕ,s(n)∊ℕ(自然数nの後者 **//(微分積分学の文脈では1を足した後の数)//** は自然数となる。)
  - ∀n∊ℕ,s(n)≠0 (どんな自然数nをとってもその後者は0にはならない。)
  - ∀n,m∊ℕ,n≠m⇒s(n)≠s(m) (異なる自然数の後者は異なる)
  - ∀E⊆ℕ,0∊E,(∀n∊E⇒s(n)∊E)⇒E=ℕ (0から順番に後者を取っていく自然数の部分集合Eを考えると、Eはℕと言える。)

しかし、ペアノの公理で述べているのは自然数の構造についてのみである。\\
つまりは、後者がどのような関係になっていても良く、自然数が(0,a,b,c,...)のような形でも構造を保っていたら自然数と呼ぶというスタンスだ。\\
微分積分学では、そこに関しては触れない。