| − | '''Godel's First Incompleteness Theorem''': Peano Arithmetic or any extension of Peano Arithmetic is either incomplete or inconsistent. | + | '''Godel's First Incompleteness Theorem''': [[Peano Arithmetic]] or any extension of Peano Arithmetic is either incomplete or inconsistent. |