I think this is equivalent to showing that is countable which it is. Assuming that we know that the set is countable, then is countable since the map given by is a bijection from to .
There are infinite roads running north to south (one for each natural number) and infinite streets running east to west (one for each natural number). At the intersection of each street and road, there is a traffic light. Doe the set of traffic lights have the same cardinality as the set of natural numbers? If so, provide a one to one correspondence.
Sorry I don't really understand what you mean... What does each symbol signify? Is the formula you gave the formula for a one to one correspondence? As far as I can work out, the number of traffic lights (T) equals half the total amount of lines (both vertical and horizontal) (L) squared. Eg with 4 horizontal and four vertical lines, there are 16 traffic lights.
T=LXL/2. Its like half a powerset, like 0.5 T(L), and powersets have strictly greater cardinality than the set. But I guess half a powerset is not a powerset at all so there must be a way to show one to one correspondence.
Label the north-south roads p, so that the third road is p=3.
Label the east-west roads q, so that the fourth road is q=4.
Now the traffic light on the corner of the third NS road and the fourth EW road is called (3,4).
Now wright this as so that the light above is denoted . Now we have a label for each traffic light that looks very much like a rational number. There is a slight difference because (for example) traffic light is different to traffic light .
Now the website: How Big is Infinity? explains why the cardinality of the rational numbers is the same as that of the natural numbers. You should be able to mount a very similar (but slightly simpler) argument why the cardinality of the streetlights is the same as that of the natural numbers.