|
|
|
|
|
|
by ndriscoll
407 days ago
|
|
|
Partially answering my own question: a starting point for synthetic differential geometry is to define a collection of infinitesimals which aren't not zero, but also zero isn't the only infinitesimal. So there are interesting/non-contrived objects that live in the space left by not assuming LEM. |
|
|