Content deleted Content added
→Second theorem: Clutter out |
→The development of Cantor's ideas: improve math typography |
||
Line 388:
One sees that it is possible to form an infinite sequence of nested intervals <math>[p, q] \supsetneq [p_1, q_1] \supsetneq [p_2, q_2] \supsetneq \ldots</math> such that:<br>
{{space|6}}the members of the <math>1^\text{st}, 2^\text{nd}, \ldots, (k - 1)^\text{st}</math> sequence lie outside <math>[p, q];</math><br>
{{space|6}}the members of the <math>k^\text{th}, \ldots, (k_1 - 1)^\text{st}</math> sequence lie outside <math>[p_1, q_1];</math><br>
{{space|6}}the members of the <math>(k_1)^\text{th}, \ldots, (k_2 - 1)^\text{st}</math> sequence lie outside <math>[p_2, q_2];</math><br>
{{space|6}}<math>\ldots;</math><ref name=Dec7letter />
| |||