3 ms·
if you mean you can prove 2+2==4, it's actually tautology: | | + | | == | | | |
by solarist 7y ago
if you mean you can prove 2+2==4, it's actually tautology:
| | + | | == | | | |
- hprotagonist 7y agono like, "addition is closed over the integers" is something you can show to be True (for all members of an infinite set, no less -- so it's not empirical.)