Sebuah kalimat nomor teori (untuk tujuan kita) adalah urutan simbol-simbol berikut: 0dan '(penerus) - penerus artinya +1, jadi0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(penjumlahan) dan *(penggandaan) = (sama dengan) (dan )(tanda kurung) operator logis nand( a nand badalah not (a and b)) forall (quantifier...