Email this LII item:
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
*
Recipient Email Address(es)
*
(separate multiple addresses with commas)
Message
Enter the verification code as it is shown in the box below. This helps prevent automated submissions.
*
