Question

实数等价命题的相互证明1,确界存在原理； 2,单调有界准则； 3,有界数列必有收敛子列（Weierstrass定理）；

Answer 1

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