On Undecidable Propositions of Formal Mathematical Systems, lecture notes by (1934)

by Kurt Godel