Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Formal Proofs in Axiomatic Set Theory
Author

Matthew P. Szudzik
Organization: Wolfram Research, Inc.
Old MathSource #

0210-834
Revision date

1999-11-22
Description

This package checks formal proofs in Zermelo-Fraenkel set theory with first-order logic, and provides some facilities to aid in the writing of such proofs. The package can easily be modified to accommodate different sets of axioms.
Subjects

*Mathematics > Foundations of Mathematics > Logic
*Mathematics > Foundations of Mathematics > Set Theory
Keywords

Axiom, Fraenkel, Logic, Proof, Set Theory, Zermelo
Downloads Download Wolfram CDF Player

Download
SetTheory.m (46.8 KB) - Mathematica package
Download
SetTheory.nb (310.8 KB) - Mathematica notebook