Mathematics built on intuitionistic logic, prioritizing constructive proofs and avoiding non-constructive axioms like the law of excluded middle. It emphasizes…