Add intuitionistic logic axioms to webpage.
Add intuitionistic logic axioms to webpage.

- Fixes an important typo which had us referencing the wrong axioms.
- Adds a table for the axioms.

metamath/set.mm,metamath/set.mm,metamath/set.mm