Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Since logic systems are just statements and/or axioms, can we formulate a logic system gödel numbering the system itself so that the system becomes nothing but a gödel number? For instance the modal system S5 would become just a Gödel number? Is it true that any logical statement must have a Gödel number and are there statements which don't have a Gödel number? Thank you in advance

share|cite|improve this question
It's not true that a logical system is just statements and axioms. There are also rules of inference. – Zhen Lin Aug 12 '11 at 2:59
Yes and no. Aren't they all just a Gödel number whether it's a statement, axiom or rules of inference? If we can write rules of inference with Gödel numbers then this way anything is just a Gödel number? Can you present a counterexample of anything in logic which doesn't have a Gödel number? – Programmer 400 Aug 12 '11 at 3:25
@Niklas: How about an uncountable language, which cannot be encoded by cardinality issues? – Asaf Karagila Aug 12 '11 at 4:46
@Niklas R: Yes, you are completely right. Anything in $S_5$, for example the sentences and the derivations, can be assigned a natural number index in close analogy to the familiar Gödel numbering. But Gödel did his indexing with a definite purpose in mind, the Incompleteness Theorem. Any indexing for $S_5$ would, similarly, need to be done for a definite purpose. – André Nicolas Aug 12 '11 at 7:46
That's very interesting. Thank you for the insights. – Programmer 400 Aug 12 '11 at 18:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.