Lines Matching defs:axioms
27 non-well-founded data structures within the standard {\sc zf} axioms including
114 traditional axioms merely assert the existence of empty sets, unions,
317 \index{*THE symbol} As mentioned above, whenever the axioms assert the
379 \caption{Rules and axioms of ZF} \label{zf-rules}
416 \section{The Zermelo-Fraenkel axioms}
417 The axioms appear in Fig.\ts \ref{zf-rules}. They resemble those
420 appear in other axioms. Object-level quantifiers and implications have
422 axioms.
1346 a rich collection of built-in axioms for all the set-theoretic
1980 their reduction rules as axioms. Here is a dangerous way of defining a
1984 \isacommand{axioms}\isanewline
1988 Asserting axioms brings the danger of accidentally introducing