In article 3, question 2, first part of his "Summa Theologica", Thomas Aquinas developed his five arguments for God's existence. These arguments are grounded in an Aristotelian ontology and make use of the infinite regression argument. Aquinas did not intend to fully prove the existence of God as he is orthodoxly conceived (with all of his traditional attributes), but proposed his Five Ways as a first stage, which he built upon later in his work. Aquinas' Five Ways argued from the unmoved mover, first cause, necessary being, argument from degree, and the .