Logiweb(TM)

10.7 multzero.lgs: A small formal proof

Prev Up Next 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.

Prev Up Next Page 374 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05