What people are saying - Write a review
We haven't found any reviews in the usual places.
PROOF AND VALIDITY
IDENTITY AND DEFINITE DESCRIPTIONS
41 other sections not shown
abbreviated argument-form assertion assumption-formula axiom allows Axiomatic Set Theory axioms of ST Basic Theorems Boolean equation cardinal Cartesian product chapter choice-function classhood concept conclusion-formula Conditional Proof constant introducible constituency constructive axiom Convention defined definite description df QED domain electors entity equipollent equivalence relation Eqxr example existential quantifier finite class Fncr following proof following theorem free variables given class identical inference Initial Theorems dependent iota operator l.df logically true wffs missing annotations naming-expression natural numbers notation null class number of members ordered pairs parameters partition politically more powerful predicate-letter provable QT proof QT Rules QT theorem QT-valid reference Relr rule Ji sequence set theory set-theoretic sub-proof symbol t/Fin T/Rel taller theorem of ST theorems are left uniqueness condition universal quantifier well-formed formula wrcu xtSr