10. The collaborative first order logic system with dynamic ontology of claim 1 wherein said website is configured to accept payment for use of said database.
1. A collaborative first order logic system with dynamic ontology comprising: a server computer; a database coupled with said server and configured to store information related to documents; subjects associated with said documents; associations between said subjects; assertions associated with said subjects; opinions regarding said assertions; theorems associated with said assertions; a website coupled with said server computer wherein said website is configured to display said documents; display said subjects associated with said documents; display said associations between said subjects; display said assertions associated with said subjects; display said opinions regarding said assertions; accept input from a plurality of users including a first user and a second user to alter said associations between said subjects; command said server computer to alter said associations between said subjects in said database; accept an opinion from said first user related to said assertion associated with one or more subjects wherein said assertion is made by said second user; and, wherein said server computer is configured to analyze said assertions and display any logical contradictions with said theorems.