Category:Independence results
From Infogalactic: the planetary knowledge core
Independence results in mathematics are relative to a given axiomatic system. For example, the logical independence of the parallel postulate was established, relative to the other axioms of Euclidean geometry, during the nineteenth century.
The independence results most of interest in contemporary mathematics are for the most part relative to the axioms of ZFC set theory, the de facto standard foundational system. Other independence results concern Peano arithmetic and other formalizations of the natural numbers.
Pages in category "Independence results"
The following 10 pages are in this category, out of 10 total.
