6,068
edits
Changes
Jump to navigation
Jump to search
Line 5:
Line 5: − +
Godel's Incompleteness Theorems (view source)
Revision as of 06:48, March 31, 2007
, 06:48, March 31, 2007no edit summary
'''Godel's Second Incompleteness Theorem''': Peano Arithmetic or any extension of Peano Arithmetic that asserts its own consistency is inconsistent.
'''Godel's Second Incompleteness Theorem''': Any set of axioms that asserts its own consistency is inconsistent.
[[category:mathematics]]
[[category:mathematics]]