Content mirrored for search engine indexing from:
goedel numbers and PM-Lisp: https://stopa.io/post/269