最小元の存在
名前はもっといいのがあるかも
空でない自然数の部分集合は最小元をもつ
$ \forall A\in 2^\N\setminus\{\varnothing\}\exist m\in A\forall n\in A;m\le n
数学的帰納法の原理と同値
#2022-02-06 07:09:28