An Axiomatic Foundation for the Logic of Inductive Generalization · Study