4 ms·
In foundations of math that mathemati ians actually use (such as ZF), you don't need 300 pages to show 1+1=2.
by Rerarom 7y ago
In foundations of math that mathemati ians actually use (such as ZF), you don't need 300 pages to show 1+1=2.
- russellbeattie 7y agoLogically, that makes sense, but since this thread is about logic, not math, it doesn't. (Unless you're saying logic and math are the same, in which case I would need to see a rigorous proof in order to believe you.)