Is there in the history of the world anything more worthy of philosophical wonder than the discovery of infinite totalities of truth, realizable in infinite progress either purely (in pure mathematics) or in approximations (in inductive natural science)?