Related reading

See G�del's incompleteness theorem - recommended reading for more information related to this subject