I.C01 — Constructive Encoding via ABCD

Constructive pairing and sequence encoding via prime powers, without importing set theory. Goedel numbering is a special case of the ABCD encoding (with C=1, D=1).