The problem of paradoxes is one of the most profound topics in epistemology. Following the classical discourses on paradoxes by Poincaré, Russell and Ramsey as well as the work by Gdel, this treatise analyzes the geneses of paradoxes and brings to light the distinction and relation between logical paradoxes and semantic paradoxes. Then, on the basis of Gdel’s work,it embarks on an original investigation into the existence of truth in mathematical and semantic worlds that are related respectively to the two kinds of paradoxes.