This thesis examines Spinoza's work as a system. It is less about Spinoza and more using Spinoza's work as an example of a system to answer the following questions. What are the limitations of deductive systems? What are the advantages and challenges of programatically implemented deductive systems? The work explores these questions and offers the groundwork for systematizing Spinoza's work in a programming environment.