�y��vlog

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