The incompleteness theorem states that any formal system that is powerful enough to express arithmetic will be either inconsistent or incomplete.
The incompleteness theorem states that any formal system that is powerful enough to express arithmetic will be either inconsistent or incomplete.