現代数学の系譜11 ガロア理論を読む19

現代数学の系譜11 ガロア理論を読む19at MATH

現代数学の系譜11 ガロア理論を読む19 - 暇つぶし2ch364:infinity is replaced by its negation. It is V ω , the class of hereditarily finite sets, with the inherited element relation. If allowed, the empty domain also satisfies the axioms of this modified theory, as all of them are universally quantified, and thus trivially satisfied if no set exists. The cardinality of the set of natural numbers, aleph null ( aleph _{0}), has many of the properties of a large cardinal. Thus the axiom of infinity is sometimes regarded as the first large cardinal axiom, and conversely large cardinal axioms are sometimes called stronger axioms of infinity.

次ページ