实数等价命题的相互证明

问题描述:

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

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