[Philo]

Informally speaking, Kurt Godel's Incompleteness Theorem for formal theories of arithmetic is based on the peculiar nature of self-referential sentences. Godel's Theorem showed that the massive project undertaken by Russell and Whitehead in Principia Mathematica to reduce all mathematical truths to logic was impossible.