Formal Proofs in Elementary Set Theory

Rules of Logic for Formal Proofs in Zermelo Set Theory

von Krishna Suryanarayan

134 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: SpringerBriefs in Applied Sciences and Technology
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783032222381
• Sprache: Englisch
• Erscheinungsdatum: 29.06.2026
• Größe: 23.5 x 15.5 cm
• Verlag: Springer International Publishing