Look into “intuitionistic logic” and “constructive logic”