My knowledge is best described by Summa Theologiae Ia, q. 2, a. 3, St. Thomas' classical proofs.
How do you know Aquinas was right in his assumptions?