A variety of texts and formulas based upon Aquinas' famous proofs that God exists; plus additional proofs of this author's creation. In addition, two new, simplified mathlogic systems are introduced. The subjects include the mathematical treatment of no-self causality, no complete self-motion, uncaused cause, unmoved mover, ungoverned governor, maximum degree, contingency and necessity, infinity and immateriality. The new logic extends to a new and simple mathematical solution to all valid syllogisms.