3 ms·That's pretty much the same idea underlying intuitionistic logic, IIUCby andrewflnr 7y agoThat's pretty much the same idea underlying intuitionistic logic, IIUC