ペアノの公理
Like any system implementing the Peano axioms, TNT is capable of referring to itself (it is self-referential).