Weingartner shows that an essential part of natural or philosophical theology and even a part of theology can be treated axiomatically. God’s essence, omniscience, omnipotence, creating activity, and all-goodness are described by axioms and by theorems proved from them.