With Gödel numbering, propositions could be interpreted as referring to themselves or other propositions, enabling inquiry into the consistency of mathematical theories.
Με την αρίθμηση του Gödel, οι προτάσεις θα μπορούσαν να ερμηνευθούν ως αναφερόμενες στον εαυτό τους ή σε άλλες προτάσεις, επιτρέποντας την διερεύνηση της συνέπειας των μαθηματικών θεωριών.