Peano axioms
Like any system implementing the Peano axioms, TNT is capable of referring to itself (it is self-referential).