On undecidable propositions of formal mathematics systems

by Kurt Gödel, Institute for Advanced Study (Princeton, N.J.)