":::::Yllä antamasi linkin mukaan Gödelin määritelmä on seuraava: kaavojen luokka κ ei ole ω-yhteensopiva, jos on olemassa sellainen luokkamerkki a, että

Merkintätavan tulkitsemiseksi ""luokkamerkki"" määritellään kaavaksi, jossa on yksi vapaa muuttuja, joka on luonnollisen luvun laji, Conseq(κ) on κ:n deduktiivinen sulkeutuminen, number(n) on (Gödelin luku, sama myös muille alla oleville funktioille) n:n luku, subst(x,v,y) on tulos, joka saadaan, kun y:llä korvataan x:ssä olevat v:n vapaat esiintymät, not(x) on x:n negaatio, ja forall(x,y) on y:n yleistäminen muuttujan x avulla. Tavallisessa nykyaikaisessa merkintätavassa tämä on
Kaikille n, , ja .
Jos kirjoitamme vielä κ:lle T, a:lle P ja Thm:lle, jotta Gödelin lukuja ei tarvita, saamme seuraavanlaisen tuloksen
Kaikille n, , ja .
Nähdäkseni tämä on täsmälleen sama määritelmä kuin artikkelissa, lukuun ottamatta sitä, että muuttuja v on implisiittisesti rajoitettu luonnollisiin lukuihin Gödelin käytössä, meillä on vastaavan sijasta , ja kirjoitamme kaavan sanoina. Voisitko siis tarkentaa (1) mitä eroa näissä kahdessa määritelmässä on mielestäsi, ja (2) mitä tekemistä -teorioilla on minkään kanssa? - J. 

"