Name: GodelRosser
Title: The Gdel-Rosser 1st incompleteness theorem
Author: Russell O'Connor
Email: roconnor@alumni.uwaterloo.ca
Homepage: http://r6.ca
Institution: University of California at Berkeley
Date: 2003-06-13
Description: A proof that any first order theory extending NN (which is PA
without induction) that is complete is inconsistent
Url: http://r6.ca/goedel1.html
Keywords: Godel Rosser Incompleteness Logic Hilbert
Version: 7.3.1
Require: pocklington
