Doctrina matemática según la cual solo existen entes matemáticos que pueden construirse por procesos finitos.