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