 |
|
|
|
|
 |
 |
|
Formal Proofs in Axiomatic Set Theory
|
|
|
|
|
|
| Organization: | Wolfram Research, Inc. |
|
|
|
|
|
|
0210-834
|
|
|
|
|
|
1999-11-22
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
Axiom, Fraenkel, Logic, Proof, Set Theory, Zermelo
|
|
|
 |
|
|
| SetTheory.m (46.8 KB) - Mathematica package | | SetTheory.nb (310.8 KB) - Mathematica notebook |
|
|
