Smooth Infinitesimal Analysis posits an infinitesimal such that the following statements are both true: This is a very promising idea, but the way they pose it leans on ignoring the law of excluded middle, which is a little unsettling. I propose a differen...

few words, many links