Difference between revisions of "MetaMath.org"
AboutUsBot (talk | contribs) (Page Updated by AboutUsBot) |
(migration import) |
||
| Line 21: | Line 21: | ||
</WikiPages> | </WikiPages> | ||
| + | |||
| + | __NOTOC__ | ||
| + | [[Category:Logic And Foundations]] | ||
| + | [[Category:Math]] | ||
[[Category:Science]] | [[Category:Science]] | ||
| − | |||
| − | |||
[[Category:Set Theory]] | [[Category:Set Theory]] | ||
| − | + | [[Category:Logic_and_Foundations]] | |
| − | + | [[Category:Set_Theory]] | |
| − | |||
Latest revision as of 02:23, 5 November 2013
Title
Metamath Mirror Selection
Description
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
