Aquinas' assertion of the necessity of the existence of incorruptible creatures runs up against a severe "modal problem": how can the contingency of the created world be compatible with the necessity of the existence of incorruptible creatures? This article focuses on Aquinas' point of view and the related modal problem. Aquinas distinguishes between "necessity per se" and "necessity of order", in which the necessity of incorruptible creatures belongs to the latter. His concepts of modality are based on the potentiality/actuality states of existents, he then proves the necessity of the existence of incorruptible creatures through clarifying their potentiality/ actuality states and thus solved the modal problem. With this theory, Aquinas reforms Aristotle's metaphysics of substances and demonstrates the super-temporal existence of incorruptible creatures.