Content deleted Content added
mNo edit summary |
This article is NOT about Cantor's diagonal argument! |
||
Line 16:
:''a''<sub>1</sub> = ''x''<sub>1</sub>.
:''b''<sub>1</sub> = ''x''<sub>''i''</sub>, where ''i'' is the smallest index such that ''x''<sub>''i''</sub> is not equal to ''a''<sub>1</sub>.
:''a''<sub>''n''+1</sub>=''x''<sub>''i''</sub>, where ''i'' is the smallest index ''greater than the one considered in the previous step'' such that ''x''<sub>''i''</sub> is between ''a''<sub>''n''</sub> and ''b''<sub>''n''</sub>.
| |||