"A formal and consistent theory of inductive processes cannot represent the operation of every human mind in detail; it will represent an ideal mind, but it will help the actual mind to approximate that ideal."