A weaker set theory than ZF developed to prove the consistency of mathematics. It includes a finiteness axiom that restricts the size of the sets.
A weaker set theory than ZF developed to prove the consistency of mathematics. It includes a finiteness axiom that restricts the size of the sets.