Set theory is also a promising foun

Set theory is also a promising foundational system for much of mathematics. Since the publication of the first volume of Principia Mathematica, it has been claimed that most or even all mathematical theorems can be derived using an aptly designed set of axioms for set theory, augmented with many definitions, using first or second order logic.

Результаты (русский) 1:

Теория множеств является также перспективным фундаментальные системой для много математики. После публикации первого тома Principia Mathematica, утверждалось, что большинство или даже все математические теоремы могут быть получены с помощью метко разработан набор аксиом для теории множеств, дополненной с много определений, используя первого или второго порядка логики.

Результаты (русский) 2:

Теория множеств также перспективным основополагающим система гораздо математики. С момента публикации первого тома Principia Mathematica, он утверждал, что большинство или даже все математические теоремы могут быть получены с использованием точно разработанный набор аксиом теории множеств, дополненной со многими определениями, используя первую или вторую логику заказа.

Результаты (русский) 3:

это теория также является перспективной системы первичного гораздо математики.после публикации первых объем principia mathematica, утверждалось, что большинство или даже математические теоремы, могут быть получены с использованием удачно разработанные набор аксиом для теории множеств, дополнены много определений, используя логику первого или второго порядка.