finitism


finitism

(ˈfaɪnaɪtˌɪzəm) n (Logic) 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