3 ms·
Yes, addition and multiplication over the infinite naturals. I don't think it's obvious that all three of these are needed together for all interesting applicat
by naasking 3y ago
Yes, addition and multiplication over the infinite naturals. I don't think it's obvious that all three of these are needed together for all interesting applications. For instance, various types of finitism eliminate the infinities.