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