指数関数（べき級数による定義）

定義 3.1（「指数・対数・三角関数をきちんと定義する」§3）

\exp x=\sum_{k=0}^\infty\frac{x^k}{k!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots

とする。この級数が収束することは定理 3.3 (1) で示す。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。