How does one translate Godel sentence about the integers into "This sentence is not provable" and Rosser's sentence into "If this sentence is provable, there is a shorter proof of its negation".
If I write down a sentence in logic, how can one translate it into a statement about the natural integers?
Which words am I allowed to use such that it can be translated into a mathemtical statement abouth the integers?
What is a precise way to translate logical statements into mathemtical statements about integers? For instance the AND operator and "This sentence" and "X is provable".