题目

实数等价命题的相互证明
1,确界存在原理；
2,单调有界准则；
3,有界数列必有收敛子列（Weierstrass定理）；
4,闭区间套定理；
四个命题两两互证,即需12个证明过程.

提问时间：2021-04-01

答案

没有必要证明12个,只需要证明4个就行了a->b,b=>c,c->d,d->a,就已经相互证明了.