@polymath257 what is the english name of this axiom: "Consider two convergent sequences A(n), B(n) with n belonging to the natural numbers and a sequence of intervals where [A(n), B(n)] is a superset of [A(n+1),B(n+1)] for all n. Then, there exists one and only one real number c that belongs to all the intervals, same as saying the intersection of these intervals is not an empty set"
I really dunno the english name for this.
I really dunno the english name for this.
