Skip Navigation

Home Projects Publications Archives About Sign Up or Log In

Browse Resources

Axioms

Resources
View Resource Metamath Proof Explorer Home Page

Theoretical mathematicians, behold the wondrous Metamath Proof Explorer! This site consists of interconnected Webpages containing over 3,000 completely worked out proofs in logic and set theory. "Each proof is pieced together with razor-sharp precision using simple rules, allowing almost anyone with a technical bent to follow it without difficulty. With point-and-click links, every step can be...

http://us.metamath.org/mpegif/mmset.html
View Resource New York Journal of Mathematics: A Mathematical Theory of Origami Constructions and Numbers

This article comes from the New York Journal of Mathematics, an electronic publication with entries added sporadically throughout the year. The full text of this latest entry can be viewed in .pdf, .ps, .dvi, or .hdvi format and abstracts may be viewed in .pdf or .gif format. The bibliography is hyperlinked.

http://nyjm.albany.edu/j/2000/6-8nf.htm