3 ms·
Not using that same subset, however (unless working with a Self-Verifying Theory [0]). [0] https://en.wikipedia.org/wiki/Self-verifying_theories https://en.wik
by jpt4 3y ago
Not using that same subset, however (unless working with a Self-Verifying Theory [0]).
[0] https://en.wikipedia.org/wiki/Self-verifying_theories https://en.wikipedia.org/wiki/Self-verifying_theories