Given a theory (say $T$) which satisfies the hypotheses of the Godel- Rosser theorem. How to show whether a Rosser sentence $R$ for $T$ is true for the standard interpretation ($\Bbb N$) or not?.
(I know it is true but how we can prove this claim!)
Given a theory (say $T$) which satisfies the hypotheses of the Godel- Rosser theorem. How to show whether a Rosser sentence $R$ for $T$ is true for the standard interpretation ($\Bbb N$) or not?.
(I know it is true but how we can prove this claim!)