Constructive mathematics is a branch of mathematics that emphasizes the notion of computation and proof. It seeks to provide a rigorous and systematic approach to mathematical reasoning by emphasizing the constructive aspects of mathematics. There are several synonyms for constructive mathematics, such as intuitionistic mathematics, finitistic mathematics, and algorithmic mathematics. Intuitionistic mathematics is concerned with constructive proofs and disallowing the use of non-constructive arguments, such as the law of excluded middle. Finitistic mathematics deals with proofs that can be carried out in a finite number of steps, while algorithmic mathematics focuses on the computational aspect of constructive mathematics. All these synonyms emphasize the importance of constructive methods in mathematical reasoning.