プリンキピア・マテマティカ
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I".