Safety Signatures for First-order Languages and Their Applications

@inproceedings{Avron2004SafetySF,
  title={Safety Signatures for First-order Languages and Their Applications},
  author={Arnon Avron},
  year={2004}
}
where A is a formula in which Z is not free (but may contain other parameters). Ideally, every formula A should be used in this schema. Unfortunately, it is well known that this would lead to paradoxes. What the various axiomatic set theories do is to replace the general comprehension schema by “safer” versions. Thus most of the axioms of ZF , the most… CONTINUE READING