Original: The concept was famously used by Kurt Gödel for the proof of his incompleteness theorem .
Simplified: The general idea is to map formulas onto natural numbers .