Not using that same subset, however (unless working with a Self-Verifying Theory [0]).

[0] https://en.wikipedia.org/wiki/Self-verifying_theories