Gödel numbering

GPTKB entity
AI-created image of Gödel numbering
AI-created image