Zdanie teoretycznej ± (naszych celów) jest sekwencją następującymi symbolami: 0i '(następca) - następca oznacza +1, więc0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(dodawanie) i *(mnożenie) = (równy) (i )(nawiasy) operator logiczny nand( a nand bjest not (a and b)) forall (uniwersalny kwantyfikator) v0, v1,...