Gödel's incompleteness theorems
数学において、ゲーデル符号を基礎としてゲーデルの不完全性定理の証明がなされた。その考え方の基本は、（ゲーデル数を使って）数学的記述を自然数に写像するというものだった。