# Prove or disprove: Every system that is not arithmetic, not consistent or its theorems can not be listed by an effective procedure is not complete

As the title says, I wish to know if every system that is not axiomatic, not consistent or it's theorems can not be listed by an effective procedure is not complete.

I think that this is false. That is because The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of the natural numbers.

It does not say anything about the negation of this statement. Therefore, my intuition is that it is false. I just wish I could find an example that shows it.

• We need an exact definition of "complete". Does it mean, that we can prove any true claim (and only the true claims) ? Or is an inconsistent system (which can prove anything!) also considered to be complete ? This definition is crucial to answer the question – Peter Dec 24 '16 at 13:31
• It means that every for statment that I can create with the dictionery of the system is either provable or disprovable. – NotSure Dec 24 '16 at 13:41
• What is a system that is not axiomatic? – Jacob Wakem Dec 24 '16 at 13:59
• If $T$ is not consistent (i.e. inconsistent), then it proves all formulae. So it is complete (in the sense that there is no sentence $\varphi$ such that neither $T \vdash \varphi$ nor $T \vdash \lnot \varphi$). – Mauro ALLEGRANZA Dec 24 '16 at 14:13
• Sorry about that, I meant arithmetic, not axiomatic, edited. – NotSure Dec 24 '16 at 14:16

• The true theory of arithmetic $TA$ is complete, and is not effectively axiomatizable.
• If by "arithmetic" you mean "in the arithmetic hierarchy," then $TA$ still works.