On formally undecidable propositions of Principia mathematica and related systems

This book presents Gödel's incompleteness theorems, which revolutionized mathematical logic by showing that any formal system capable of expressing basic arithmetic is either incomplete or inconsistent.

The work introduces Gödel numbering and self-referential sentences, techniques that have become fundamental in logic.

The book is a translation of Gödel's original 1931 paper, 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I'.