智商为零的小白的博客

原创 最小自然数原理及其证明过程

最小自然数原理设 TTT 是 NNN 的一个非空子集. 那么, 必有 t0∈Tt_{0}\in Tt0​∈T, 使对任意的 t∈Tt\in Tt∈T 有 t0≤tt_{0}\leq tt0​≤t, 即 t0t_{0}t0​ 是 TTT 中的最小自然数.证明：考虑由所有这样自然数 sss 组成的集合 SSS : ∀t∈T\forall t \in T∀t∈T, 都有 s≤ts \leq ts...