On undecidable propositions of formal mathematical systems (0)

by K Gödel