Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory

By Krishna Suryanarayan

The book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book includes a proof of the existence of a Peano system which provides a foundation for the number theory. The book helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs. It can be used to develop a software that can be used to write and verify formal proofs.

• Format: Paperback
• Language: English
• ISBN: 3032222389
• ISBN13: 9783032222381
• Release Date: August 2026
• Publisher: Springer
• Length: 134 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.2" x 9.2"