This is a masterpiece of applying logic reasoning to the proofs of theories in philosophy, psychology and religion. Authored by a famous philosopher in 17th century, the book organizes philosophical and religious beliefs and assumptions into propositions and logically proves each proposition based on the known definitions, axioms, lemmas, postulates and previously proven propositions. The book searches the essence of being and existence by mathematical form of proving. It is a deep religious book written in mathematic notations. This is an eye-opening and mind boggling book for those seeking the truths about God, human and nature. This is also a good book for practicing mind reasoning capability.
