Page 374 of 800
| Page 374 of 800 | Search internet |
The multzero page states and proves a simple lemma. The page uses the definition of Peano arithmetic, a lemma, and a lot of proof tactics from the Peano page.
| Page 374 of 800 | Search logiweb.eu |