形式化されたLöbの定理
Angus J. Macintyre, H.Simmons; "Gödel's diagonalization technique and related properties of theories."