Theologian, Archbishop of Canterbury from 1093, and later Saint. As a strong supporter of the primacy of Church over state, he battled with several English kings. But he is best known as the author of a logical argument for the existence of God known as the ontological proof which showed that he valued logic as well as Church authority.