数学学習の記録 51.1 自然数の性質

2010年1月4日月曜日

GoogleドキュメントのTeXによる数式入力の練習。

自然数全部の集合Nの整列性について。

$\forall M\subset N\exists m\in N\\ [M\ne\phi\Rightarrow m=minM]$

数学的帰納法について。

$\forall M\subset N\\ [(0\in M\wedge(n\in M\Rightarrow n+1\in M))\\ \Rightarrow(M=N)]$

$\forall M\subset N\\ [0\in M\wedge\forall k(0\leq k<n(n>0\wedge n\in N)[k\in M]\\ \Rightarrow N=M]$