Axioms of Zermelo-Fraenkel, CH, D-finite, Forcing method, Gonsistency, the peculiar subset of the smallest inductive set infinite, The smallest inductive set.