Hacker News new | ask | show | jobs
by MaxwellM 1608 days ago
Godel numbering does this for Logic. Reading GEB rn so top of mind.

https://en.wikipedia.org/wiki/G%C3%B6del_numbering