Formal Proofs in Elementary Set Theory : Rules of Logic for Formal Proofs in Zermelo Set Theory / by Krishna Suryanarayan.

Format:

Book

Author/Creator:

Suryanarayan, Krishna.

Series:

SpringerBriefs in Computational Intelligence, 2625-3712

Language:

English

Subjects (All):

Computational intelligence.

Set theory.

Logic, Symbolic and mathematical.

Computational Intelligence.

Set Theory.

Mathematical Logic and Foundations.

Local Subjects:

Computational Intelligence.

Set Theory.

Mathematical Logic and Foundations.

Physical Description:

1 online resource (434 pages)

Edition:

1st ed. 2026.

Place of Publication:

Cham : Springer Nature Switzerland : Imprint: Springer, 2026.

Summary:

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.

Contents:

Logic

Symbols of Logic

Set Theory

Russell’s Paradox and Nonexistence of Universal Set

Equality of Sets and Membership.

Notes:

Print version record.

Other Format:

Print version: Suryanarayan, Krishna Formal Proofs in Elementary Set Theory

ISBN:

9783032222398

OCLC:

1610750824