Comment by amiga386

TIL there's a whole rabbithole of "why vs why not intuitionist logic":

https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_contro...