axiom of restriction

(from the article `logic, history of`) ...set theory is almost always what mathematicians and logicians now mean by `set theory.` The system was later modified by John von Neumann and ... ...axioms of ZFC, it may be argued that models of axioms that differ sharply from this system should be ruled out. The discovery of such a ...
Found on
No exact match found