And yet the validity of logical sequences is not a thing devised by men, but is observed and noted by them that they may be able to learn and teach it; for it exists eternally in the reason of things, and has its origin with God.
– On Christian Doctrine II.32