Logiweb(TM)

10.5 Peano.lgs: a definition of Peano arithmetic

Prev Up Next Page 372 of 800 Search internet


The Peano page defines Peano arithmetic along the lines of Mendelson: Introduction to Mathematical Logic. It also defines classical propositional calculus, classical predicate calculus, and proof tactics which allow to use deduction.

Prev Up Next Page 372 of 800 Search logiweb.eu

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