Clearly enough , Hilbert and Bernays do implicitly accept the potential infinite , but they claim that each induction in their proofs is finite .
Becker argued that Hilbert could not stick with finitism , but had to assume the potential infinite .
Clearly enough , Hilbert and Bernays do implicitly accept the potential infinite , but they claim that each induction in their proofs is finite .
Becker argued that Hilbert could not stick with finitism , but had to assume the potential infinite .