Formal Proofs in Elementary Set Theory

Beschreibung

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.

Autor*in

Krishna Suryanarayan

Themen in »Formal Proofs in Elementary Set Theory«

Logic Zermelo Axioms Formal Proofs Existence of Peano System

Stimmen zu »Formal Proofs in Elementary Set Theory«

Details

Link teilen