ravage Wed, 20 Nov 2002 16:21:04 -0800
http://www.joh.cam.ac.uk/societies/moral/mathlogic.htm#completeness