Dear members,(adsbygoogle = window.adsbygoogle || []).push({});

it has recently been put forth to me the question as towhen and by which means did it become clear to the majority of logicians and mathematicians that set theory prevailed over Russell's theory of types(as in Principia)?

(Byset theoryI mean as in the axioms of Zermelo-Fraenkel's or ZFC, NBG etc.)

Not being an expert, I wasn't exactly secure as to how to answer this question. Both Whitehead-Russell's and Zermelo-Fraenkel's axioms are victims to GĂ¶del's second Incompleteness theorem, with the difference that the consistency of ZFC can be proved by assuming the existence of an inaccessible cardinal.

What are your views on this?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# When did set theory prevail?

**Physics Forums | Science Articles, Homework Help, Discussion**