Gödel numbering

GPTKB entity