Send a comment on this item to LII: Send a comment on this item to LII staff, who on weekdays will usually reply within 24 hours. Metamath Home Page "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. http://users.shore.net/~ndm/java/mm.html Asterisk * indicates required field. Your Name Your Email Address * We will not sell or provide your email address to anyone else. Comment * Enter the verification code as it is shown in the box below. This helps prevent automated submissions. *