Implementation of mathematics in set theory: Difference between revisions

Content deleted Content added
top: Removed superfluous remark on special functions (that wasn't even correct anyway)
Tags: Mobile edit Mobile app edit Android app edit App full source
Adding intentionally blank description
Line 1:
{{Short description|none}}
This article examines the implementation of mathematical concepts in [[set theory]]. The implementation of a number of basic mathematical concepts is carried out in parallel in [[ZFC]] (the dominant set theory) and in [[New Foundations|NFU]], the version of Quine's [[New Foundations]] shown to be consistent by [[R. B. Jensen]] in 1969 (here understood to include at least axioms of [[Axiom of infinity|Infinity]] and [[Axiom of choice|Choice]]).