Nomenclature: In the following I'll call a proof theory finitistic if it only allows proofs of finite length and infinitistic if it allows proofs of infinite length, i.e. ones with infinite branches ...