Dvs. at alle tal der ender på uendeligt mange 1-taller kan omskrives ved at ændre et foranstående 0 til 1 og alle de efterfølgende 1-taller til 0. 
Men da <math>T</math> allerede indeholder de strenge der ender på uendligt mange nuller, kan dem der ender på uendeligt mange ettaller blot fjernes.<br />
(Dette er princippet. Der angives ikke nogen praktisk metode til at gøre dette. For hvordan finder man ud af, at et binært tal ender på uendeligt mange ettaller?) 
I denne sammenhæng er det dog princippet der er det vigtigste! Man kan dog overbevise sig om, at det er følgende tal, der alle har to binære repræsentationer, én der ender på uendeligt mange nuller og én der ender på uendeligt mange ettaller:
Matematik