A használt Gödel-számozás:

00 – nullás számjegy
01 – egyes számjegy
02 – kettes számjegy
03 – hármas számjegy
...
09 – kilences számjegy
10 – nyitó zárójel
11 – záró zárójel
12 – összeadásjel
13 – szorzásjel
14 – hatványozásjel
15 – mínuszjel
16 – gyökvonás jele
17 – logaritmus
18 – szeparátor (a szokott jelölésrendszerben a vessző két szám között, pl. többváltozós függvényekben; emellett a vektorok koordinátáit is ez választja el)
19 – tizedesvessző
20 – egzisztenciális kvantor
21 – kettőspont az „amire” értelemben
22 – univerzális kvantor
23 – Halmazba tartozást kifejező jel (pl. „x eleme a racionális számok halmazának”)
24 – Nagyobb, mint
25 – Kisebb, mint
26 – logikai negáció
27 – OR, halmazok uniója
28 – AND, halmazok metszete
29 – XOR
30 – -->
31 – =
32–66 – szabadon választott változók
67 – pozitív számok halmaza
68 – természetes számok halmaza
69 – egész számok halmaza
70 – racionális számok halmaza
71 – valós számok halmaza
72 – a komplex számok halmaza
73–91 – tetszőleges konstansok
92 – szinusz
93 – koszinusz
94 – ...
95 – faktoriális (az argumentumot zárójelbe, elé kell teni)
96 – abszolútérték-függvény (természetesen itt is zárójelbe kell tenni a paramétert)
97 – vektor (zárójelbe kell utána tenni a koordinákat, ha használjuk azokat)
98 – integráljel
99 – a deriválást jelzi
Kivonás szándékosan nincs, negatív szám hozzáadásával kell kezelni, az osztást a –1. hatványra emeléssel és szorzással. A zárójelezés elég szigorú: hatványozásnál a kitevőt, kvantifikációnál a változóneveket, és integrálásnál/deriválásnál az integrálandó/deriválandó függvényt mindig zárójelbe kell tenni.