Lecture Notes in Logic 10 is concerned almost exclusively with properties that are common to all sufficiently strong, axiomatizable theories. Paper. DLC: Incompleteness theorems.
Lecture Notes in Logic 10 is concerned almost exclusively with properties that are common to all sufficiently strong, axiomatizable theories. Paper. DLC: Incompleteness theorems.