 All mathematical constructions which can be carried out in TST can be carried out in NF. For example, the Frege natural numbers can be constructed, and so can the set \(\mathbf{N}\) of Frege natural numbers. For example, the Frege natural number 1, the set of all one-element sets, is provided by NF.