Abstract: Drawing support from the natural intuition of the rigid designator, Kripke argues that the identical propositions between the proper names, the propositions expressing theoretical identifications, and the general propositions of natural sorts, are necessary a posteriori propositions. Kripke’s Necessary A Posteriori propositions is a metaphysical answer to Hume Problem, which leads to an important revolution and makes profound and lasting influence in epistemology.