3 ms·

So you're saying it's not constructive to talk about theorems that require the axiom of choice for proof? (ducks) All joking aside, I liked your definition. Th

So you're saying it's not constructive to talk about theorems that require the axiom of choice for proof? (ducks) All joking aside, I liked your definition. Thanks!