2 ms·
In this case, the proof should be formal since it is a statement about the natural numbers. (as far as I can tell)
by jsprogrammer 11y ago
In this case, the proof should be formal since it is a statement about the natural numbers. (as far as I can tell)
- eru 11y agoDoesn't really matter too much what the proof is about, does it? You can still choose different notions of proof.