Forskel mellem versioner af "Tællelig mængde"

574 bytes tilføjet ,  for 12 år siden
m
u->span
m (u->span)
Men følgen, hvis ''n'''te led er forskelligt fra ''n''<nowiki>'</nowiki>te led i ''s''<sub>''n''</sub>, kan ikke stå på listen:
 
:''s''<sub>1</sub> = (<uspan style="text-decoration:underline;">'''0'''</uspan>, 0, 0, 0, 0, 0, 0, ...)
:''s''<sub>2</sub> = (1, <uspan style="text-decoration:underline;">'''1'''</uspan>, 1, 1, 1, 1, 1, ...)
:''s''<sub>3</sub> = (0, 1, <uspan style="text-decoration:underline;">'''0'''</uspan>, 1, 0, 1, 0, ...)
:''s''<sub>4</sub> = (1, 0, 1, <uspan style="text-decoration:underline;">'''0'''</uspan>, 1, 0, 1, ...)
:''s''<sub>5</sub> = (1, 1, 0, 1, <uspan style="text-decoration:underline;">'''0'''</uspan>, 1, 1, ...)
:''s''<sub>6</sub> = (0, 0, 1, 1, 0, <uspan style="text-decoration:underline;">'''1'''</uspan>, 1, ...)
:''s''<sub>7</sub> = (1, 0, 0, 0, 1, 0, <uspan style="text-decoration:underline;">'''0'''</uspan>, ...)
:...
 
:''s''<sub>0</sub> = (<uspan style="text-decoration:underline;">'''1'''</uspan>, <uspan style="text-decoration:underline;">'''0'''</uspan>, <uspan style="text-decoration:underline;">'''1'''</uspan>, <uspan style="text-decoration:underline;">'''1'''</uspan>, <uspan style="text-decoration:underline;">'''1'''</uspan>, <uspan style="text-decoration:underline;">'''0'''</uspan>, <uspan style="text-decoration:underline;">'''1'''</uspan>, ...)
 
Antag at den gør, og at den er lig ''s''<sub>''m''</sub> for et naturligt ''m''. Fra definitionen på følgen er dens ''m''<nowiki>'</nowiki>te element forskellig fra det ''m''<nowiki>'</nowiki>te element i ''s''<sub>''m''</sub>, men så er den netop forskellig fra ''s''<sub>''m''</sub>.