プリンキピア・マテマティカ
On Formally Undecidable Propositions in Principia Mathematica and Related Systems I