Robinson arithmetic is non-trivial enough that the incompleteness theorem applies to it, but as far as I know not strong enough to prove the incompleteness theorem itself.
Robinson arithmetic is non-trivial enough that the incompleteness theorem applies to it, but as far as I know not strong enough to prove the incompleteness theorem itself.