The Fabric of Reality: Towards a Theory of Everything (Penguin Science)

by David Deutsch

the traditional one that a proof can have only a finite number of steps. The intuitive justification of this assumption is that we are finite beings and could never grasp a literally infinite number of assertions.