this is the puzzle that formal systems can only

be complete or consistent, but not both

it is the same problem as Hume identified stated

in modern vocabulary

this is the puzzle that we are prepared to generalize certain observations but not others

this is the puzzle that despite the incomplete

evidence, inductive generalizations generally tend to be true

this is the puzzle of how we draw inductive

generalizations from limited number of observations