finitism
not defined yet