21/05/06 07:49:34.87 7p5uf5fw.net
>>672
つづき
Mac Lane set theory
Mac Lane set theory, introduced by Mac Lane (1986), is Zermelo set theory with the axiom of separation restricted to first-order formulas in which every quantifier is bounded. Mac Lane set theory is similar in strength to topos theory with a natural number object, or to the system in Principia mathematica. It is strong enough to carry out almost all ordinary mathematics not directly connected with set theory or logic.
The aim of Zermelo's paper
The introduction states that the very existence of the discipline of set theory "seems to be threatened by certain contradictions or "