David Hume is apparently the first that has reasonably denied the metaphysics: His method for so doing is that, he divides all sciences into two kinds, "Relations of Ideas" and "Matters of Fact", and then, he pronounces as meaningless whatever which can not be classified under these two kinds. The present paper intends to clarify the views of Hume in contrast to metaphysics, and to show that the theory of "The Origin of Ideas" is not, as it is believed, the most fundamental one in his philosophy, but, "The Procedure of Science Formation" is basically prior to the aforementioned theory and to his other theories. Then, it has been tried to show that, he cannot deny the metaphysics, regarding to his empiricism, because in this case, he comes into an unsolvable contradiction that will make him give up "denying metaphysics".