My reply was meant as a non-serious reply. Don't take it too serious. ^-

The monotonicity comment was about the property C(Tn)> C(Tn-1). Won't there be topics which are equally cool at some point. :P

It is fun to think about how to define an uncountable topic class. Depending on how you define topic you can do this. You could for example define a topic as a property given to something in set which is or is equivalent to the real numbers :o)

And another thing to think about is why induction is true at all. Because the familiar induction that is used in math relies on arithmetic induction :o)