(
philosophy,
logic) the view that only those entities may be admitted to mathematics that can be constructed in a finite number of steps, and only those propositions entertained whose truth can be proved in a finite number of steps
Compare intuitionism