 For example, the Frege definition of the natural numbers works in TST. The number \(3^2\) can be defined as the (type 2) set of all (type 1) sets with three (type 0) elements. The number \(3^3\) can be defined as the (type 3) set of all (type 2) sets with three (type 1) elements. The number \(3^{27}\) can be defined as the (type 27) set of all (type 26) sets with three (type 25) elements. And so forth. Our logic does not even permit us to say that these are a sequence of distinct objects; we cannot ask the question as to whether they are equal or not.