In 1931 Kurt Go?del published a theorem demonstrating that many systems of formal logic capable of developing arithmetic possess major deficiencies. He shovs that such systems, if they are consistent, are powerless to ...