print email comment close Metamath Home Page URL: http://users.shore.net/~ndm/java/mm.html Description: "Interconnected Web pages containing over 3000 completely worked out proofs in logic and set theory." Proofs are put together and each step can be followed until the axiom is ultimately found. Basic user instructions, lists of axioms, starting point suggestions, and a complete list of theorems are included. The proof collection includes many famous theorems of elementary set theory. Reading suggestions and a bibliography are provided. Suitable for armchair mathematicians or use in advanced, university-level mathematics classes. Author: Megill, Norman D. Library of Congress Subject Headings: Logic, Symbolic and mathematical Set theory LII Database Information: Record 18893 created by Dana Lubow on 11/12/2000 Last modification on 12/26/2002 Published: 11/12/2000   Funding agency: California State Library LII Item ID: http://lii.org/cs/lii/view/item/18893