A branch of intuitionism that argues that only finite mathematical objects and methods are acceptable.